The Pulse
OpenAI afferma che il suo modello interno ha risolto oltre 100 problemi matematici
OpenAI afferma che un nuovo modello interno ha risolto oltre 100 problemi aperti di lunga data in vari ambiti della matematica, oltre al risultato dichiarato sulle equazioni di Navier–Stokes. L’azienda sta formando un gruppo consultivo indi
AI.info Team ·
OpenAI afferma che un nuovo modello interno ha risolto oltre 100 problemi aperti di lunga data in vari ambiti della matematica, ma l’azienda non ha pubblicato un elenco dei risultati né i relativi articoli. L’annuncio arriva mentre alcuni matematici si chiedono se le aziende di IA stiano trasformando problemi difficili in prove di visibilità mediatica, prima che il lavoro possa essere verificato e compreso.
La dichiarazione compare in un post di OpenAI pubblicato il 21 settembre 2026, in cui si annuncia la creazione di un gruppo consultivo indipendente sulla matematica e l’intelligenza artificiale. OpenAI afferma che il modello ha iniziato l’addestramento il 28 agosto e che ha anche prodotto quella che l’azienda descrive come una soluzione al problema del premio Millennium sulle equazioni di Navier–Stokes.
L’azienda presenta il gruppo consultivo come una risposta al ritmo dei progressi e alle critiche dei matematici. Il gruppo esaminerà la rilevanza dei nuovi risultati, fornirà indicazioni sulla loro pubblicazione e si pronuncerà sugli standard accademici e professionali. Opererà in modo indipendente, non riceverà compensi da OpenAI e sarà libero di pubblicare raccomandazioni o contestare l’azienda.
La dichiarazione di OpenAI arriva senza un catalogo di dimostrazioni
L’annuncio di OpenAI non offre alcun dettaglio sui più di 100 problemi. Non indica i problemi per nome, non specifica i campi a cui appartengono, non fornisce articoli per ciascun risultato e non dice quali siano stati esaminati da matematici esterni. La formulazione lascia inoltre aperta la questione di come OpenAI definisca «risolto», una distinzione importante nella ricerca matematica, dove un argomento plausibile, una verifica formale e l’accettazione della comunità sono fasi diverse.
Il precedente resoconto di OpenAI sul lavoro svolto sulle equazioni di Navier–Stokes fornisce maggiori dettagli sul sistema interno. OpenAI ha dichiarato che i suoi agenti hanno inviato 4,9 milioni di messaggi e generato circa 300 miliardi di token in output lavorando sui problemi affrontati. Il gruppo si è concentrato sulle equazioni di Navier–Stokes dopo aver individuato quelli che ha descritto come risultati promettenti su un problema correlato relativo alle equazioni di Euler; ha quindi usato la formalizzazione in Lean e la verifica tramite GPT-6 Astra.
Nel post sulle equazioni di Navier–Stokes, OpenAI afferma che gli agenti sono arrivati alla soluzione il 5 settembre e che la formalizzazione e la verifica hanno richiesto altre 17 ore. L’azienda dichiara inoltre di non avere intenzione di rivendicare il premio Millennium da 1 milione di dollari, assegnato dal Clay Mathematics Institute secondo una propria procedura di valutazione.
I matematici contestano la velocità senza comprensione
L’annuncio segue una dichiarazione dell’11 settembre firmata da decine di vincitori della medaglia Fields e da altri matematici. La dichiarazione sostiene che usare la risoluzione di problemi aperti come benchmark di IA può danneggiare la matematica se le aziende annunciano i risultati prima che il settore abbia il tempo di esaminare le dimostrazioni, individuare le nuove idee, riconoscere il lavoro precedente e spiegare il risultato agli altri ricercatori.
I firmatari distinguono tra stabilire se un’affermazione è vera e sviluppare la comprensione che rende un risultato utile alla matematica. Avvertono che un gran numero di risposte generate dalle macchine, vere o false, potrebbe indebolire i processi umani attraverso cui le idee matematiche vengono messe alla prova, insegnate e integrate nella disciplina.
Questa controversia affida al gruppo consultivo di OpenAI un compito circoscritto ma significativo. Al gruppo non è stato chiesto di controllare il programma interno di ricerca dell’azienda. Nell’annuncio, OpenAI afferma esplicitamente che i consulenti non stabiliranno con quale rapidità l’azienda perseguirà i progressi in matematica. Il loro compito è invece valutare i risultati, orientarne la comunicazione e fornire indicazioni su come il lavoro dovrebbe essere presentato ai ricercatori e al pubblico.
Indipendente nella struttura, limitato nei poteri
Il gruppo ha sede presso l’Institute for Advanced Study e comprende François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten e Melanie Matchett Wood. Il suo sito pubblico afferma che il gruppo è nato dopo che OpenAI aveva contattato alcuni dei suoi membri per proporre un comitato esterno. I matematici hanno scelto una struttura indipendente e dichiarano di poter fornire consulenza a qualsiasi azienda di IA i cui sistemi abbiano un impatto significativo sulla matematica.
Il sito del gruppo descrive inoltre il compito immediato in termini insolitamente diretti: fornire a OpenAI indicazioni su come coordinare la pubblicazione di un gran numero di risultati matematici significativi che, secondo l’azienda, sono stati prodotti dal suo modello interno. Questa formulazione conferma che il gruppo sta esaminando il resoconto di OpenAI sui risultati, non annunciando di averli convalidati tutti in modo indipendente.
Nel suo post, OpenAI afferma che i consulenti contribuiranno a valutare la rilevanza dei risultati e il rispetto degli standard accademici, ma non dice che abbiano verificato la cifra di oltre 100. Finché non saranno pubblicati i problemi sottostanti, le dimostrazioni e lo stato delle revisioni, è meglio considerare il numero come una dichiarazione di OpenAI, anziché come un conteggio accertato di risultati matematici accettati.
La prossima prova è la pubblicazione, non la quantità
OpenAI ha già pubblicato separatamente una serie di dieci progressi in matematica e informatica teorica prodotti da una versione interna di Astra. Quella pubblicazione precedente indicava ciascun problema, includeva un collegamento a un articolo e a spiegazioni dettagliate del ragionamento e affermava che gli argomenti erano stati formalizzati in certificati Lean. L’annuncio del 21 settembre non fornisce nessuna di queste documentazioni per l’insieme più ampio.
Il gruppo consultivo potrebbe contribuire a stabilire se questi materiali saranno pubblicati tutti insieme, in una serie di articoli o attraverso una procedura che consenta ai matematici di esaminare i risultati prima che vengano formulate dichiarazioni pubbliche. I suoi membri possono pubblicare raccomandazioni, ma non hanno potere decisionale all’interno di OpenAI. La responsabilità delle dichiarazioni e delle prove resterà all’azienda.
Per ora, il dato concreto è una dichiarazione dell’azienda datata 21 settembre: OpenAI afferma che un modello interno, il cui addestramento è iniziato il 28 agosto, ha risolto oltre 100 problemi aperti di lunga data. Le dimostrazioni, l’elenco dei problemi e le valutazioni esterne necessari per giudicare questa dichiarazione non sono ancora stati pubblicati.
Leggi l’annuncio di OpenAI, lo statuto pubblico del gruppo consultivo e la dichiarazione dei matematici.