DeepMind's AlphaProof Nexus solved dozens of open math problems, passed peer review
The Decoder · rss · 2026-10-12
- Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems, two of which had been unsolved for 56 years.
- The results were published in Science after formal peer review.
- The move contrasts with OpenAI, which faces a boycott for dumping AI-generated proofs on GitHub without peer review — DeepMind's review-first approach highlights a divide in AI research norms.
More from Research
- Why multilingual LLMs encode translations identically: new theory explains the platonic representation hypothesis — Hidenori8Tanaka · 2026-10-12
- DeepMind's AlphaProof Nexus solves 9 Erdős problems, 2 open 56 years, passes peer review in Science — Hesamation · 2026-10-12
- LightOn and search experts to teach free Late Interaction course with 5-30x index compression tricks — IgorCarron · 2026-10-12
- Guided protein LMs collapse off-manifold: solubility oracle scores 0.99 while output can't fold — rishabh16_ · 2026-10-12
- New anime ViT tagger OppaiOracle X1.1 adds 110k photo dataset — grio43 · 2026-10-12
- Cellular-automaton language model MICA lifts next-word top-1 from 15.25% to 21.5%, targets Raspberry Pi — Silver_Employ2617 · 2026-10-12