The Pulse

OpenAI afferma che un suo modello interno ha risolto oltre 100 problemi matematici

Un nuovo modello interno di OpenAI ha risolto oltre 100 problemi aperti da tempo in diversi ambiti della matematica, afferma la società, oltre a quello delle equazioni di Navier–Stokes, che sostiene di aver risolto. La società sta formando

AI.info Team · Scritto con l’IA · verificato · 2026-09-21

Un nuovo modello interno ha risolto oltre 100 problemi aperti da tempo in diversi ambiti della matematica, afferma OpenAI, ma la società non ha pubblicato un elenco dei risultati né gli studi a loro sostegno. L’annuncio arriva mentre i matematici si chiedono se le aziende di IA stiano trasformando problemi difficili in prove a fini pubblicitari prima che il lavoro possa essere verificato e compreso.

L’affermazione compare in un post di OpenAI pubblicato il 21 settembre 2026, che annuncia la formazione di un gruppo consultivo indipendente sulla matematica e l’intelligenza artificiale. Secondo OpenAI, l’addestramento del modello è iniziato il 28 agosto e il modello ha anche prodotto quella che la società descrive come una soluzione del problema del premio del millennio relativo alle equazioni di Navier–Stokes.

La società 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à consulenza sulla loro pubblicazione e si esprimerà sugli standard accademici e professionali. Opererà in modo indipendente, non riceverà compensi da OpenAI e sarà libero di pubblicare pareri o contestare la società.

L’affermazione di OpenAI arriva senza un catalogo delle dimostrazioni

L’annuncio di OpenAI non fornisce dettagli sui più di 100 problemi. Non li identifica per nome, non specifica quali settori coprano, non mette a disposizione studi 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’argomentazione plausibile, una verifica formale e l’accettazione da parte della comunità sono fasi diverse.

Il precedente resoconto della società sul suo lavoro relativo alle equazioni di Navier–Stokes offre maggiori dettagli sul sistema interno. Gli agenti di OpenAI hanno inviato 4,9 milioni di messaggi e generato circa 300 miliardi di token in output lavorando all’insieme dei problemi affrontati. Il gruppo si è concentrato sulle equazioni di Navier–Stokes dopo aver ottenuto quelli che ha descritto come risultati promettenti su un problema correlato riguardante le equazioni di Eulero, per poi usare la formalizzazione in Lean e la verifica tramite GPT-6 Astra.

Gli agenti sono arrivati alla soluzione il 5 settembre, secondo il post di OpenAI sulle equazioni di Navier–Stokes, mentre la formalizzazione e la verifica hanno richiesto altre 17 ore. La società non intende inoltre rivendicare il premio del millennio da 1 milione di dollari, assegnato dal Clay Mathematics Institute secondo un proprio processo 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 altri matematici. La dichiarazione sostiene che risolvere problemi aperti come benchmark per l’IA può danneggiare la matematica quando le aziende annunciano risultati prima che la comunità scientifica abbia il tempo di esaminare la dimostrazione, individuare le nuove idee, riconoscere i contributi precedenti e spiegare il risultato agli altri ricercatori.

I firmatari distinguono tra stabilire se un’affermazione sia vera e sviluppare la comprensione che rende un risultato utile alla matematica. Avvertono che una grande quantità di risposte vero o falso generate dalle macchine potrebbe indebolire i processi umani attraverso i quali le idee matematiche vengono verificate, insegnate e integrate nella disciplina.

Questa controversia assegna al gruppo consultivo di OpenAI un compito circoscritto ma significativo. Al gruppo non viene chiesto di controllare il calendario della ricerca interna della società. L’annuncio di OpenAI afferma esplicitamente che i consulenti non determineranno la velocità con cui la società perseguirà progressi matematici. Il loro ruolo è invece valutare i risultati, orientarne la comunicazione e fornire consulenza su come il lavoro debba raggiungere i ricercatori e il pubblico.

Indipendente nella struttura, con poteri limitati

Il gruppo è ospitato 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 web pubblico afferma che il gruppo si è formato dopo che OpenAI aveva contattato alcuni dei suoi membri in merito a un comitato esterno. I matematici hanno scelto una struttura indipendente e affermano di poter offrire consulenza a qualsiasi azienda di IA i cui sistemi abbiano un effetto significativo sulla matematica.

Il sito web del gruppo descrive inoltre il suo compito immediato in termini insolitamente diretti: consigliare OpenAI su come coordinare la pubblicazione di un gran numero di risultati matematici significativi che la società afferma siano stati prodotti dal suo modello interno. Questa formulazione conferma che il gruppo si occupa del resoconto dei risultati fornito da OpenAI, senza annunciare di averli tutti convalidati in modo indipendente.

Il post di OpenAI afferma che i consulenti contribuiranno a valutare la rilevanza dei risultati e gli standard accademici, ma non dice che abbiano verificato la cifra di oltre 100. Finché non saranno pubblicati i problemi in questione, le dimostrazioni e lo stato delle verifiche, è meglio considerare quel numero un’affermazione di OpenAI piuttosto che un conteggio accertato di risultati matematici accettati.

La prossima prova è la pubblicazione, non la scala

OpenAI ha già pubblicato una serie distinta di dieci progressi nella matematica e nell’informatica teorica prodotti da una versione interna di Astra. Quella precedente pubblicazione indicava ogni problema, rimandava a uno studio e a spiegazioni dettagliate dei ragionamenti e affermava che le argomentazioni erano state formalizzate in certificati Lean. L’annuncio del 21 settembre non fornisce nulla di questa documentazione per l’insieme più ampio di risultati.

Il gruppo consultivo potrebbe contribuire a determinare se quei materiali arriveranno in un’unica pubblicazione, in una serie di studi o attraverso un processo che consenta ai matematici di esaminare i risultati prima che vengano fatte affermazioni pubbliche. I suoi membri possono pubblicare raccomandazioni, ma non hanno potere decisionale all’interno di OpenAI. La responsabilità delle affermazioni e delle prove resterà alla società.

Per ora, l’elemento concreto è una dichiarazione della società datata 21 settembre: OpenAI afferma che un modello interno addestrato dal 28 agosto ha risolto oltre 100 problemi aperti da tempo. Le dimostrazioni, l’elenco dei problemi e le valutazioni esterne necessarie per giudicare tale dichiarazione non sono ancora stati pubblicati.

Leggi l’annuncio di OpenAI, la carta pubblica del gruppo consultivo e la dichiarazione dei matematici.