Google DeepMind's AlphaProof Nexus solves open math problems in a peer-reviewed Science study
Original titleGoogle Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Google DeepMind says its AlphaProof Nexus solved nine of 353 open Erdős problems, two unsolved for 56 years, according to a new study in Science.
The system, built around Gemini 3.1 Pro and the Lean proof language, also proved 44 OEIS conjectures and improved a known min-max optimization bound.
The article notes that the Erdős solutions were shared online before publication, amid a debate over AI math publication norms.
The source separates peer-reviewed results from the contested online sharing of AI math proofs, showing how verification and publication norms are being argued over.
Source: The Decoder · the-decoder.comPublished · added here