HomeAI · summaries
Storia in 9 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.
