Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

Google Deepmind’s AlphaProof Nexus has successfully solved dozens of complex mathematical problems, including nine challenges posed by Paul Erdős that had remained unresolved for decades. Published in the journal Science, these findings mark a shift toward rigorous academic validation for AI-generated proofs. This development contrasts with recent industry trends, as it relies on external peer review to verify mathematical results that some other AI firms have released without such scrutiny.