New2 developments · 1 source · over 14 daysGoogle DeepMind's AI Co-Mathematician BreakthroughHow it developedMay 11, 2026The Rundown AIWhere it startedGoogle DeepMind's AI Co-Mathematician BreakthroughMay 25, 2026The Rundown AIGoogle DeepMind's AI Solves Nine Erdős ProblemsAlphaProof Nexus autonomously solved nine open Erdős problems using a large language model integrated with Lean.