I think we’re going to find out the hard way that the proofs left to solve are very much not elegant.
Meanwhile, if you put honorable people in charge and trust them to do the right thing, they can figure things out ad hoc.
Unfortunately, mathematics suffers as a bystander. But the good news is that the muggles will always want to keep the eggheads around because they would rather die than think about the negative consequences of having their dreams come true exactly like they wanted.