The AI also solved 9 open problems posed by Paul Erdős, including 2 that had resisted mathematicians for 56 years. The system's architecture combines existing Gemini models with a specialized processing loop, and compute costs were reported at a few hundred dollars per problem. This announcement coincides with calls from some mathematicians to boycott OpenAI following a separate release of papers.
Tuesday, October 20, 2026
Story
Google's AlphaProof Nexus Solves 9 Erdős Problems Including 2 Open for 56 Years
AI8 days ago
DeepMind's new AI system has successfully resolved 44 previously open conjectures from the Online Encyclopedia of Integer Sequences. The results, published in the journal Science, demonstrate that the AlphaProof Nexus system can generate original mathematical knowledge rather than merely solving competition-level problems. To ensure accuracy, the system uses AI agents to search for proofs while the Lean proof assistant formally verifies each mathematical step, eliminating the reasoning errors often found in large language models.
Looking for more context or analysis?
Tilt chat provides reliable, tailored insights, alerts, and automations.