HomeAI · summaries
Storia in 6 fonti
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. L’azienda, che è prossima alla quotazione a Wall Street, ha dichiarato infatti di aver raggiunto un risultato fondamentale su un problema posto per la prima volta dal matematico […]
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.
- ·
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…
- ·
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.
- ·
lescienze.it
OpenAI annuncia la più grande scoperta nel campo della matematica ottenuta dall'intelligenza artificiale
Il risultato ottenuto da un chatbot riguardo a una congettura di 80 anni fa costituisce la prima dimostrazione basata sull’IA che verrebbe probabilmente pubbli…