Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
DeepMind's AlphaProof Nexus solved nine Erdős problems — two unsolved for 56 years — and went through peer review. OpenAI's math-proof dump to GitHub did not.
Why it matters
Substantive capability milestone in AI-assisted mathematics, with methodological contrast to concurrent work. Practitioners evaluating AI for research or formal verification now have independently vetted benchmarks; the peer-review framing signals a shift in how frontier labs credential AI discoveries.
The key facts
5 to knowAlphaProof Nexus solved dozens of open math problems including nine Erdős problems
Two Erdős problems unsolved for 56 years; solved by AlphaProof Nexus
Results published in Science with peer review completed before publication
Implicit contrast: OpenAI released math proofs to GitHub without peer review, sparking researcher boycott
Published October 2026
Go to the source
The Decoderthe-decoder.com
Publisher excerpt: Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review. Deepmind had its results…