Report: DeepMind's AlphaProof Nexus solved 9 open Erdős problems, 44 conjectures
kimmonismus · x · 2026-10-12
Citing a Daily Star report (via @kimmonismus), Google DeepMind's AlphaProof Nexus has reportedly solved 9 open Erdős problems and 44 number-sequence conjectures, including two open for over 50 years.
The system reportedly combines existing Gemini models with a simpler Gemini loop and used Lean to formally reproduce all nine reported Erdős successes.
Caution: this is a tabloid-sourced, unverified report; DeepMind has not confirmed. Wait for an official paper or statement.
Related event: DeepMind's AlphaProof Nexus Solves 9 Erdős Problems, Published in Science(7 posts)→
More from Models
- Developer releases two finetunes of LightOnOCR-3-0.8B on Hugging Face — wjb_mattingly · 2026-10-12
- Claude tops App Store productivity chart in one country, beating Gemini and ChatGPT — BLCNYY · 2026-10-12
- Bittensor's TPN Labs ships first model TPN005, cutting base size ~40% with 32k context intact — const_reborn · 2026-10-12
- 1-bit Boole-1.7B packs Qwen3-1.7B into 247MB and beats Bonsai-1.7B — d77chong · 2026-10-12
- theo crunches the numbers: $500 plan almost covers running GPT-6.1 Sol Ultrafast full-time — nikunjhanda · 2026-10-12
- Watermelon emoji from Meta's AI chief fuels speculation of a new model drop — Snoo26837 · 2026-10-12