DeepMind's maths AI passed peer review with nine Erdős proofs.
Science published Google DeepMind's AlphaProof Nexus study on 8 October. The system proved 9 of 353 open Erdős problems and 44 conjectures about integer sequences. Software called Lean checked each proof, but outside experts note it cannot judge whether a problem was stated right.
Why it mattersOpenAI posted 722 machine-written papers online last week without journal review, and mathematicians protested. This paper shows the slower route is open to AI work too.
Read in the app — free, in 9 languages
Related stories
A model got better by retraining on its own agent teams' best work.2026-10-12Teams of AI coding agents cost up to five times more for little gain.
2026-10-12OpenAI's price list shows a science model it never announced.
2026-10-11Nikon stripped a microscope video prize over generative AI.
2026-10-11No AI model managed to reinvent a research idea from January.
2026-10-11