HomeAI · summaries
Storia in 8 fonti
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
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
hwupgrade.it
OpenAI batte Erdos su un problema del 1946: nove matematici firmano la verifica
Un modello interno di OpenAI ha confutato la congettura di Erdős sulle distanze unitarie nel piano, aperta dal 1946. La verifica � firmata da nove matematici, tra cui Thomas…
- ·
greenme.it
OpenAI ha risolto in poco più di un'ora un enigma matematico aperto da 80 anni
OpenAI smentisce una congettura di Erdős sul problema delle distanze unitarie: l’AI entra nella matematica avanzata.
- ·
cryptobriefing.com
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.
- ·
maddmaths.simai.eu
Un modello di OpenAI risolve un problema matematico (difficile) vecchio di 80 anni
OpenAI ha annunciato un ulteriore progresso nella capacità di ragionamento dei suoi modelli linguistici, uno dei quali ora ha risolto un problema matematico vecchio di 80 anni.…
- ·
newsbytesapp.com
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.
- ·
dday.it
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…
- ·
the-decoder.com
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…
- ·
ilfattoquotidiano.it
L'IA di OpenAI risolve un enigma matematico aperto da 80 anni
Un chatbot di OpenAI ha risolto il problema della distanza unitaria di Erdős, irrisolto dal 1946. I matematici sono stupiti.