Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars

Google DeepMind said AlphaProof Nexus, a multi-agent AI proof system, solved 9 of 353 Erdős problems it tried and 44 of 492 OEIS conjectures.

The system combines language-model proof generation with Lean-based formal verification, allowing it to tackle long-standing math questions.

Researchers said the simplest LLM-plus-compiler-feedback agent was enough to solve all nine Erdős problems, underscoring the value of verification.

The work suggests cheaper, simpler AI workflows could soon be useful for real mathematical research and theorem proving.