By Zach Mink
Publication Date: 2026-05-25 09:00:00
Good morning, {{ first_name | AI enthusiasts }}. Last week, OpenAI made headlines after announcing its AI cracked an 80-year-old mathematics problem. Turns out, it wasn’t the only one. Google DeepMind quietly did them eight (not one) better.
The company’s AlphaProof Nexus autonomously solved nine open Erdős problems — considered some of the hardest unsolved questions in math — at a cost of a few hundred dollars per problem.
Google’s AI cracks nine unsolved math problems
The Rundown Roundtable: Our AI use cases
Build an AI secretary that plans your day
Claude Mythos finds 10,000+ critical vulnerabilities
4 new AI tools, community workflows, and more
Image source: Images 2.0 / The Rundown
The Rundown: Google DeepMind’s AlphaProof Nexus, an AI system that generates machine-verified mathematical proofs, solved nine open Erdős problems, including two unsolved for 56 years, just a day after OpenAI claimed its own Erdős breakthrough.
The system paired an LLM with Lean, a proof…
