Google DeepMind AI Agent Cracks 9 Erdős Problems — Including Two Unsolved for 56 Years!

Google DeepMind's autonomous AI agent has solved 9 of 353 open problems from the legendary Erdős problem set, a collection of combinatorics and number theory challenges that have stumped mathematicians for decades. Two of the nine had remained unsolved for 56 years — placing them firmly in the category of problems the field had largely accepted as intractable for human researchers working alone.

The result is significant not just for mathematics but for how the broader research community should think about AI's role in formal reasoning. Erdős problems are not rote computation — they require creative leaps, conjecture formation, and proof construction. An autonomous agent navigating that space without human hand-holding is a qualitative step beyond prior AI math benchmarks.