Storia in 5 fonti

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 proof step automatically. Still, the overall success rate sits at just 2.5 percent.

Raccontata da

Confronto fonti

5 prospettive sulla stessa storia

AI · summaries

the-decoder.comStai leggendo1 mesi fa

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

DeepMind's AlphaProof Nexus solved 9 of 353 open Erdős problems — two unsolved for 56 years — at a few hundred dollars each, using Gemini 3.1 Pro to generate Lean proof steps verified by a formal compiler at every iteration. Simple agentic loops grounded by symbolic feedback are converging on specialized trained systems, signaling that LLM + compiler architectures are the next credible pattern for AI agents where logical reliability and auditability are non-negotiable.

originale

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

Confronto fonti

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

Timeline cronologica

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures

Google AI just solved 56-year-old math problems on its own

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures

Google AI just solved 56-year-old math problems on its own

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification

OpenAI smonta una congettura geometrica di 80 anni, ma Google risolve 9 problemi di Erdős con meno clamore

OpenAI smonta una congettura geometrica di 80 anni, ma Google risolve 9 problemi di Erdős con meno clamore

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

Math AI startup Axiom Math claims algorithm-generated proofs in peer-reviewed journals

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification