
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Quick Take
Google Deepmind's AlphaProof Nexus autonomously solves nine Erdős problems at low inference costs.
Key Points
- Solved two problems unsolved for 56 years.
- Uses Lean compiler for automatic proof verification.
- Current success rate is only 2.5 percent.
Article Excerpt
From source RSS / original summaryGoogle Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every proof step automatically. Still, the overall success rate sits at just 2. 5 percent. The article Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars appeared first on The Decoder.
Reader Mode unavailable (could not extract clean content).
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from The Decoder
See more →
George Hotz says coding agents will be "one of the most costly mistakes" in software development
George Hotz warns AI coding agents may lead to costly software development mistakes.

AI models often give the right answers but point to the wrong sources
AI models frequently provide correct answers but misattribute their sources, termed 'attribution hallucination'.
