Modello AI sfida la congettura di Erdős di 80 anni fa sul problema della distanza unitaria

Il modello AI di OpenAI ha trovato una disposizione migliore per il problema planare della distanza unitaria, sfidando la congettura di Paul Erdős del 1946. Il problema chiede quante coppie di punti su un piano possono essere esattamente alla stessa distanza. Erdős credeva che una disposizione a griglia massimizzasse le coppie. L'AI ha scoperto una strategia che utilizza la teoria algebrica dei numeri che produce più coppie. I matematici Daniel Litt, Noga Alon, Will Sawin e Thomas Bloom hanno esaminato il risultato. Bloom e Sawin hanno utilizzato tecniche simili per risolvere un altro problema di Erdős, la congettura del prodotto-somma. OpenAI ha pubblicato un riassunto e una dimostrazione riscritti, non l'output originale. La Dichiarazione di Leida sull'Intelligenza Artificiale e la Matematica, pubblicata il 2 giugno, mette in guardia sui risultati AI non verificati e sollecita trasparenza. Il coautore Rodrigo Ochigame ha criticato OpenAI per la segretezza. Il successo dell'AI è attribuito alla conoscenza interdisciplinare e al calcolo instancabile.