Google DeepMind's AlphaProof Nexus has solved dozens of open mathematical problems, including nine Erdős problems, two of which had remained unsolved for 56 years. The results were peer-reviewed and published in Science, contrasting with OpenAI's recent release of unverified AI-…
DeepMind's AlphaProof Nexus Solves Dozens of Open Math Problems, Passes Peer Review
Google DeepMind's AlphaProof Nexus has solved dozens of open mathematical problems, including nine Erdős problems, two of which had remained unsolved for 56 years. The results were peer-reviewed and published in Science, contrasting with OpenAI's recent release of unverified AI-generated proofs.
Monitoring item. The full text is not distributed. Extract and source below.