OpenAI smentisce una congettura di Erdős sul problema delle distanze unitarie: l’AI entra nella matematica avanzata.

La risoluzione improvvisa di una nota congettura mette in luce il crescente ricorso all'intelligenza artificiale come strumento di supporto nella matematica av…

An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.