DeepMind's AlphaProof Nexus reportedly cracks 9 Erdős problems, 44 OEIS conjectures
kimmonismus · x · 2026-10-12
Google DeepMind's AlphaProof Nexus, combining Gemini models with a simple Gemini loop and Lean formal verification, reportedly solved 9 of 353 open Erdős problems — two unanswered for over 50 years — and proved 44 of 492 unresolved OEIS conjectures. Additional applications reported in algebraic geometry, optimization, graph theory, combinatorics, and quantum optics. (Via Daily Star, unconfirmed.)
Related event: DeepMind's AlphaProof Nexus Solves 9 Erdős Problems, Published in Science(7 posts)→
More from Models
- ThursdAI: OpenAI drops 722 math papers, Haiku 5.5 hits 10 cents, Meta's new agent protocol — altryne · 2026-10-12
- Mercury Decide nails 669 clinical decisions for 1 cent, ties #2 at 94.2% cheapest — MaziyarPanahi · 2026-10-12
- Meta employees hint at a major new model launch, rumored as early as this week — kimmonismus · 2026-10-12
- LEAN proofs can be 'correct but alien' or exploit kernel bugs, researcher warns — gklambauer · 2026-10-12
- Four ways AI-generated LEAN proofs can go wrong, from formalization drift to kernel bugs — gklambauer · 2026-10-12
- Opus 5.5 Stuns With 3D Car Models It Can Even Split Into Parts — iamfakhrealam · 2026-10-12