Big2 sources· last seen 7h ago· first seen 1d ago
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google 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 pro
Lead: The DecoderBigness: 62googledeepmind'salphaproofnexussolves
📡 Coverage
50
2 news sources
🟠 Hacker News
0
🔴 Reddit
73
1061 upvotes across 1 sub
📈 Google Trends
0
Full methodology: How scoring works
Receipts (all sources)
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
RSS · The Decoder · 7h ago
score 180
Google 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 pro
Google DeepMind's Al agent autonomously solved 9 of 353 open Erdos problems in mathematics, at a cost of a few hundred dollars per problem.
REDDIT · r/singularity · 1d ago · ⬆ 1061 · 💬 138
score 112