HomeAI · summaries
Storia in 13 fonti
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.
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
lescienze.it
Una dimostrazione "sensazionale" risolve un problema di geometria vecchio di decenni
La risoluzione improvvisa di una nota congettura mette in luce il crescente ricorso all'intelligenza artificiale come strumento di supporto nella matematica av…
- ·
cryptobriefing.com
OpenAI model autonomously solves planar unit distance problem
An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.
- ·
techcrunch.com
OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
- ·
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart contract verification and crypto.
- ·
scientificamerican.com
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone
- ·
heise.de
KI beweist: Mathematiker lagen falsch
Eine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.
- ·
newscientist.com
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed as a monumental moment for AI in mathematics
- ·
the-decoder.com
The first AI proof worthy of math's top journal landed and it won't be the last
A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number…
- ·
theguardian.com
OpenAI makes breakthrough on 80-year-old maths problem
Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning
- ·
repubblica.it
OpenAI dice di aver risolto un problema matematico aperto da ottant’anni
Un modello di intelligenza artificiale di OpenAI avrebbe trovato una nuova soluzione per il problema delle distanze unitarie nel piano, formulato da Paul Erdős…
- ·
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.
- ·
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.…
- ·
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…