Il modello OpenAI smentisce la congettura della distanza unitaria di Erdős, vecchia di 80 anni

A metà maggio, OpenAI ha rivelato che uno dei suoi modelli di intelligenza artificiale interni aveva smentito con successo la congettura della distanza unitaria di Erdős, un problema di lunga data nella geometria discreta rimasto irrisolto per 80 anni. Questo risultato è stato salutato come un significativo progresso nella matematica dell'IA da matematici, tra cui il medagliato Fields Tim Gowers. Daniel Litt dell'Università di Toronto ha osservato che questo è stato il primo risultato notevole generato in modo indipendente dall'IA. Tuttavia, non segna un cambiamento drastico nelle capacità dell'IA, poiché i grandi modelli linguistici hanno precedentemente incontrato difficoltà con l'aritmetica. Durante le Joint Mathematics Meetings di gennaio, è stato riconosciuto che, sebbene l'IA abbia aiutato la ricerca, richiedeva ancora una notevole interpretazione umana. Il modello di OpenAI ha utilizzato concetti matematici esistenti per formulare una dimostrazione, che è stata successivamente migliorata da matematici umani, suggerendo un futuro promettente di collaborazione tra IA e umani.