HomeAI · summaries
Storia in 7 fonti
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 Bloom, che a ottobre aveva smontato un annuncio simile
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
cryptobriefing.com
OpenAI model solves 80-year-old planar unit distance problem posed by legendary mathematician Erdős
OpenAI's reasoning model disproved Paul Erdős' 80-year-old planar unit distance conjecture, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.
- ·
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…
- ·
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…