Google DeepMind has introduced AlphaProof Nexus, an agentic framework leveraging its Gemini technology to autonomously solve complex mathematical problems. The AI agent successfully addressed nine open Erdős problems, including two that had remained unsolved for 56 years, as well as 44 problems from the Online Encyclopedia of Integer Sequences (OEIS). Additionally, it resolved a 15-year-old problem in algebraic geometry and a seven-year-old question in min-max optimization. The initiative involves collaboration with mathematicians across various disciplines, highlighting the significant potential of agentic loops powered by Gemini.
AgentsNLPAI Research+1
AgentsNLPAI ResearchOpenAI
Google DeepMind Unveils AlphaProof Nexus: AI Agents Solve Long-Standing Mathematical Problems
Twitter· Demis Hassabis· Tuesday, May 26, 2026
More Articles From This Day
Generative AINLP+2
Generative AINLPNewsPartnership
OpenAI Forms Strategic Partnership with Grupo Folha and Grupo UOL to Enhance ChatGPT News Access
OpenAI has announced a strategic partnership with Grupo Folha and Grupo UOL to integrate trusted Brazilian journalism into ChatGPT. This collaboration aims to expand access to news while ensuring attribution and transparency in the information provided to users. The partnership signifies a move towards enhancing the quality and reliability of news sources available through AI platforms.