Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Quick Answer
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two unsolved for 56 years, at a cost of a few hundred dollars each.
Quick Take
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two unsolved for 56 years, at a cost of a few hundred dollars each. Utilizing the Lean compiler for automatic proof verification, the system currently has a success rate of only 2.5%. This breakthrough could significantly impact mathematical research and problem-solving efficiency.
Key Points
- AlphaProof Nexus solved nine Erdős problems, including two unsolved for 56 years.
- Inference costs for each problem are just a few hundred dollars.
- The system uses the Lean compiler for automatic proof verification.
- Current success rate of AlphaProof Nexus is only 2.5%.
- This advancement could enhance mathematical research efficiency.
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.
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from The Decoder
See more →
An AI model programmed nonstop for 19 days on a single MirrorCode task that cost $2,600 to run
Epoch AI's MirrorCode benchmark reveals Claude Opus 4.7 as the leader with a 56% solve rate, reconstructing a 16,000-line toolkit in 14 hours. Despite this, all models tested struggle with the most complex tasks, highlighting limitations in current AI capabilities. The single task consumed $2,600 over 19 days, raising questions about cost-effectiveness in AI development.
