Il modello OpenAI risolve un problema di Erdős di 80 anni fa con una dimostrazione originale

OpenAI ha rivelato che il suo ultimo modello di ragionamento generale ha generato con successo una dimostrazione matematica originale che confuta una ben nota congettura geometrica irrisolta introdotta da Paul Erdős nel 1946. Questo risultato rappresenta la prima volta che un'IA affronta in modo indipendente un problema significativo irrisolto in matematica. Ad accompagnare l'annuncio, i matematici Noga Alon, Melanie Wood e Thomas Bloom, che gestisce il sito Erdős Problems, hanno fornito commenti di supporto riguardo alla confutazione. Bloom aveva in precedenza criticato un'affermazione affrettata dell'ex VP di OpenAI Kevin Weil secondo cui GPT-5 avrebbe risolto dieci problemi di Erdős, definendola "una drammatica falsa rappresentazione". Dopo le reazioni negative di Yann LeCun e del CEO di Google DeepMind Demis Hassabis, il post di Weil è stato ritirato. OpenAI sostiene che il nuovo modello ha identificato una famiglia completamente nuova di costruzioni che superano le griglie quadrate che i matematici ritenevano ottimali per quasi 80 anni, mostrando la capacità dell'IA di ragionamento esteso e connessioni interdisciplinari, con potenziali applicazioni in biologia, fisica, ingegneria e medicina.