11:57
2026-05-27
dev.to
ai-research
How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification
On May 21, 2026, a Google DeepMind AI agent autonomously resolved a 56-year-old open problem in mathematics posed by Paul Erdős and András Sárközy, at an inference cost of a few hundred dollars. The s…