🔥DeepMind’s AI just cracked 9 unsolved math problems, autonomously.

Researchers revealed that DeepMind’s new agent, AlphaProof Nexus, successfully solved 9 open Erdős problems, including two that had remained unsolved for more than 50 years.

What’s wild is the cost: each successful solution reportedly took only a few hundred dollars in compute. But behind that number was a massive search effort.

The system actually attempted all 353 formalized Erdős problems, repeatedly generating proofs, checking them in Lean (a formal mathematics verification system), analyzing failures, and trying again.