Google DeepMind's AlphaProof Nexus solves several open math problems but faces criticism over inelegant, hard-to-read proofs

The best thing about AI math ? You can pull out your worst academic insults that’d you’d kept inside your whole career and just throw them out without fear of harming your tenure prospects with fellow human peers.