HomeAI · summaries
Storia in 5 fonti
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.
Confronto fonti
5 prospettive sulla stessa storiaTimeline cronologica
- ·
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…
- ·
theconversation.com
An AI solution to an 80-year-old problem has shocked mathematicians
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.
- ·
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…