OpenAI annuncia la risoluzione di tre problemi scientifici tramite modelli interni
30 ottobre 2026 · 3 min di lettura
Pubblicato anche in Türkçe
OpenAI ha dichiarato che i suoi modelli di intelligenza artificiale interni hanno risolto tre problemi significativi in matematica, informatica e fisica. L'azienda ha pubblicato un post sul blog per presentare questi risultati, descrivendo i manoscritti come dati grezzi di ricerca che richiedono ancora una comprensione approfondita. Per garantire la validità delle scoperte, OpenAI ha coinvolto esperti esterni che agiscono come supervisori, seguendo un approccio diverso per ogni disciplina. I risultati in matematica e informatica sono stati inoltre tradotti nel linguaggio di programmazione Lean, che consente a un computer di verificare ogni passo della dimostrazione, sebbene questo non garantisca che la formulazione corrisponda esattamente al problema originale.
Il risultato in informatica riguarda la confutazione dell'ipotesi del tempo esponenziale, nota come ETH. Questa ipotesi si riferisce al problema di soddisfacibilità della logica proposizionale, abbreviato in SAT, che consiste nel determinare se le variabili di una formula logica possano essere impostate in modo da renderla vera. L'ETH afferma che non esiste un metodo fondamentalmente migliore per risolvere questo problema, poiché il tempo di calcolo cresce esponenzialmente con l'aggiunta di variabili. OpenAI sostiene che il suo sistema abbia dimostrato che l'ETH è falsa, un risultato che metterebbe in discussione centinaia di lavori accademici in campi come la teoria dei grafi e la biologia computazionale, i quali si basano su questa assunzione. Se la dimostrazione fosse valida, questi lavori perderebbero la loro base teorica, anche se i loro risultati specifici non diventerebbero automaticamente errati.
Le implicazioni pratiche di questa scoperta restano incerte. I risolvitori SAT, utilizzati per verificare i progetti di chip e testare il software, gestiscono già formule con milioni di variabili, poiché i casi reali sono spesso meno complessi del peggior scenario teorico. Ryan Williams, professore al MIT, ha dichiarato che non è chiaro cosa noteranno per primi gli sviluppatori comuni. Ha ammesso di non sapere se ci saranno progressi significativi nella risoluzione pratica del SAT entro dodici mesi o se non si vedrà alcun cambiamento. Williams ha anche indicato che, se il risultato di OpenAI fosse confermato, ciò implicherebbe che una certa classe di problemi complessi non può essere risolta con circuiti logici di dimensioni limitate.
La verifica indipendente è affidata a un gruppo di esperti, tra cui Russell Impagliazzo e Ramamohan Paturi dell'UC San Diego, che hanno originato l'ETH insieme a Francis Zane. Questo gruppo sta lavorando senza compenso e senza accordi di riservatezza, con l'intenzione di condividere i risultati intermedi. In una lettera aperta, hanno chiarito che la loro partecipazione non costituisce una conferma delle affermazioni di OpenAI, sottolineando la necessità di un'attenta revisione indipendente. Su richiesta del gruppo, OpenAI ha pubblicato tutti i dati grezzi, inclusi la dimostrazione completa e quella in Lean, e si è impegnata a finanziare una conferenza sulle conseguenze per la disciplina.
Il risultato in matematica riguarda una congettura sulle onde, proposta nel 1991 da Christopher Sogge. La congettura riguarda il modo in cui le onde, come quelle del suono o della luce, possono concentrarsi in un punto specifico, simile alla luce focalizzata da una lente. Il testo fornito si interrompe prima di specificare i dettagli completi di questa congettura o del risultato fisico associato.