Google DeepMind's AlphaProof Nexus made it into Science, solving an Erdős problem that had been open for 56 years.

Google DeepMind's AlphaProof Nexus was published in Science, providing proofs for 9 Erdős problems and 44 OEIS integer sequence conjectures. Among them, two subproblems from 1970 in Erdős problem library #12, which had been open for 56 years, were solved. A commentary in the same issue of Science was titled "AI for mathematics has arrived." The system uses Gemini to break down goals and organize arguments, calls AlphaProof and Lean to complete subgoals, and has multiple proof agents share drafts, with a reviewer agent comparing them to decide which route to prioritize. In a control test, the team removed the evolutionary search with shared drafts and disabled AlphaProof, keeping only Gemini 3.1 Pro and Lean; multiple independent attempts still solved those 9 Erdős problems, while running AlphaProof alone solved none.