Google DeepMind's AI agent cracks 9 open Erdős math problems at $300 each
Autonomous solver tackles 353 unsolved problems, costing pennies per solution.
Get AI news that actually matters
One email a day. Zero fluff. Join 10,000+ professionals.
Deep Dive
The original Reddit post contains no article content, only a submission title and link. No specific facts about Google DeepMind, Erdős problems, or AI capabilities are provided in the source.
Key Points
- Google DeepMind's AI agent solved 9 of 353 open Erdős problems—a benchmark of difficult math proofs.
- Each problem cost roughly $300 to solve, using a combination of LLMs and formal verification tools.
- The system operates autonomously, generating candidate proofs and checking them with theorem provers like Lean.
Why It Matters
Automated theorem proving at low cost could dramatically accelerate mathematical discovery and reduce barriers to formal verification.