Storia in 4 fonti

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.

Raccontata da

Confronto fonti

4 prospettive sulla stessa storia

AI · summaries

newsbytesapp.comStai leggendo1 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.

originale

the-decoder.com1 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.

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

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 AI just solved 56-year-old math problems on its own

Confronto fonti

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

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

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

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

Confronto fonti

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

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

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