Storia in 4 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

4 prospettive sulla stessa storia

AI · summaries

the-decoder.comStai leggendo1 g 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

cryptobriefing.com3 g fa

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

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal verification, with implications for crypto security.

Leggi questa versione → originale

newsbytesapp.com1 g fa

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

Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.

Leggi questa versione → originale

dday.it1 g fa

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

Il caso OpenAI ha attirato l’attenzione, ma AlphaProof Nexus ha chiuso 9 problemi di Erdős con verifiche formali in Lean. Il contributo dell’IA nella matematica è comunque ormai palpabile

Leggi questa versione → 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

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

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

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

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

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

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

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

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

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