United StatesNel maggio 2026, OpenAI ha annunciato che un modello interno di intelligenza artificiale aveva scoperto un controesempio del problema della "distanza unitaria", una congettura proposta dal famoso matematico Paul Erdős nel 1946. Questo ha segnato la prima grande svolta matematica attribuita a un modello di intelligenza artificiale. Anche se il risultato ha richiesto un perfezionamento da parte dei matematici umani, ha introdotto nuovi approcci da aree non correlate della matematica. Poco dopo, OpenAI ha rivelato ulteriori progressi da un modello inedito chiamato Astra, che ha risolto tre ulteriori problemi di Erdős. I matematici vedono questi sviluppi come un cambiamento trasformativo nel modo in cui l'IA contribuisce alla ricerca matematica.
Lettura del bias (Centro): L'articolo discute il ruolo dell'IA nella risoluzione dei problemi matematici originariamente posti da Paul Erdős, concentrandosi sui risultati tecnici piuttosto che sulle questioni politiche.
