DeepMind's AlphaProof Nexus solved dozens of open math problems and got peer reviewed
aziz4ai · x · 2026-10-12
The Decoder covers Google DeepMind's AlphaProof Nexus: the Gemini 3.1 Pro-based system solved dozens of open math problems, including 9 Erdős problems (two open 56 years) and 44 OEIS conjectures, all verified in Lean and published in Science, amid the boycott controversy over OpenAI's proof dump.
Related event: DeepMind's AlphaProof Nexus Solves 9 Erdős Problems, Published in Science(7 posts)→
More from Research
- Ragged KV cuts Looped LM inference FLOPs by 25% with no retraining — DanielKhashabi · 2026-10-12
- NVIDIA's ELR removes the one-loop tax: Koi-4B scores 18 at one loop, 29 at four loops — nvidia · 2026-10-12
- Weight decay causally controls the life cycle of massive activations, paper shows — Aimpoint-Digital · 2026-10-12
- NYU's DRMoET boosts robust MoE training, lifting 10.3B model average to 0.6767 — newyorkuniversity · 2026-10-12
- SAGE finds unsupervised salient factors in images, hitting 0.950 probe accuracy on FFHQ glasses — Shuang Liang · 2026-10-12
- Terence Tao's 'Math 2.0' diagram: AI expands the math frontier instead of shrinking it — mattturck · 2026-10-12