AnswersPublished25 sources
OpenAI afferma di aver risolto oltre 100 problemi aperti di matematica. Ma non è ancora un verdetto della comunità scientifica
Il 21 settembre 2026 OpenAI ha dichiarato che un modello interno, il cui addestramento è iniziato il 28 agosto, avrebbe risolto più di 100 problemi matematici aperti di lunga data. Per Navier Stokes l’azienda ha reso pubblici una dimostrazione analitica e una formalizzazione in Lean; per l’elenco più ampio dei «100+...
Pubblicato daModificato con GPT-5.6 TerraImmagini generate con GPT Image 2
Research answer
Key takeaways
- Il 21 settembre 2026 OpenAI ha dichiarato che un modello interno, il cui addestramento è iniziato il 28 agosto, avrebbe risolto più di 100 problemi matematici aperti di lunga data.
- Per Navier Stokes l’azienda ha reso pubblici una dimostrazione analitica e una formalizzazione in Lean; per l’elenco più ampio dei «100+» problemi non ha pubblicato un catalogo verificabile risultato per risultato.[13...
- Non esiste una prova pubblica che la congettura di Hodge sia stata risolta: OpenAI ha riconosciuto progressi su un secondo Problema del Millennio non identificato, senza diffondere una dimostrazione sottoposta a revis...
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
La dichiarazione di OpenAI del 21 settembre è una rivendicazione di ricerca eccezionale, non un risultato matematico già consolidato. L’azienda ha affermato che un modello interno non nominato, il cui addestramento era iniziato il 28 agosto, aveva risolto più di 100 problemi aperti di lunga data in gran parte dei settori della matematica. L’annuncio è arrivato insieme alla creazione di un gruppo consultivo indipendente ospitato dall’Institute for Advanced Study (IAS). 5
15
La distinzione decisiva è questa: un’azienda può dichiarare di avere una soluzione, ma una soluzione diventa un risultato accettato solo dopo esame indipendente della comunità matematica. I materiali pubblici documentano la prima cosa; non dimostrano ancora la seconda per l’intero insieme dei problemi rivendicati.
Che cosa ha dichiarato OpenAI
L’annuncio del 21 settembre seguiva quello dell’8 settembre, quando OpenAI aveva sostenuto che circa 10.000 agenti di IA, usando un modello interno non pubblicato, avessero trovato in 88 ore una singolarità in tempo finito per le equazioni di Navier-Stokes tridimensionali forzate. L’azienda ha descritto il lavoro come una soluzione del problema di esistenza e regolarità di Navier-Stokes e ha affermato di aver prodotto sia una dimostrazione analitica sia una formalizzazione in Lean. 1
13
Il 21 settembre la portata della rivendicazione è stata estesa: oltre a Navier-Stokes, OpenAI ha detto che il modello avrebbe risolto più di 100 problemi aperti di lunga data. 5
15
Il verbo «risolto» resta però la qualificazione di OpenAI. Non significa, di per sé, che ogni risultato sia stato pubblicato, controllato da esperti indipendenti o accolto dalla comunità matematica.
Le prove pubblicate e quelle mancanti
Nel caso Navier-Stokes, OpenAI ha reso noto di aver prodotto una prova analitica e una formalizzazione in Lean, un assistente per dimostrazioni formali. Un risultato verificato da Lean è un elemento rilevante: stabilisce che un teorema codificato con precisione segue dalle definizioni, dagli assiomi e dalle librerie formali impiegate. 13
Per la rivendicazione dei «100+» problemi, invece, il quadro pubblico è molto più scarno. L’annuncio del 21 settembre non offriva un catalogo dettagliato dei problemi, con enunciati matematici esatti, dimostrazioni, stato delle formalizzazioni, provenienza delle idee e stato della revisione indipendente. Senza questi elementi, non è possibile verificare il numero in titolo problema per problema. 7
11
Le fonti disponibili non attestano neppure che la prova su Navier-Stokes abbia completato una revisione paritaria indipendente o ottenuto un’accettazione generale tra i matematici. Sono standard diversi dal pubblicare un artefatto di prova o far compilare del codice. 1
46
La congettura di Hodge è stata risolta?
No: nelle fonti fornite non c’è alcuna evidenza pubblica sufficiente per trattare la congettura di Hodge come risolta.
La congettura di Hodge è uno dei Problemi del Millennio del Clay Mathematics Institute. 37 Alcune notizie riportano che OpenAI abbia riconosciuto «progressi sostanziali» su un secondo Problema del Millennio non identificato; l’azienda non ha però detto pubblicamente che si trattasse della congettura di Hodge, né ha diffuso una dimostrazione.
14
Una voce di corridoio, un’indiscrezione o una dichiarazione di avanzamento non sostituiscono una prova pubblicata e verificabile. Finché non saranno disponibili un enunciato preciso e il relativo lavoro, valutati indipendentemente, non è corretto affermare che OpenAI abbia risolto la congettura di Hodge.
Perché una prova in Lean può essere valida ma difficile da valutare
La verifica formale e la comprensione matematica umana affrontano aspetti collegati, ma non identici.
Una formalizzazione Lean può offrire forti garanzie contro lacune logiche rispetto al suo impianto formale. Tuttavia, negli script di prova molti passaggi che per un matematico sono ordinari vengono esplicitati in definizioni, lemmi, dipendenze dalle librerie, riscritture e dettagli tecnici. Il risultato può essere estremamente difficile da leggere come argomento concettuale.
Questo non significa che «compila» sia irrilevante. Significa che la sola compilazione non risponde a tutte le domande essenziali:
- l’enunciato formalizzato coincide esattamente con il problema del Millennio previsto?
- qual è l’idea centrale che genera la costruzione o il meccanismo di singolarità?
- quali stime e passaggi sostengono davvero il risultato?
- il lavoro è nuovo, robusto e presentato in modo utile per ricerche successive?
- come va attribuito il merito rispetto a idee e lavori precedenti?
Il controllo formale può essere una componente fondamentale della verifica, ma non produce automaticamente un’esposizione umana chiara, non risolve i problemi di attribuzione e non crea consenso scientifico.
Le critiche: priorità, credito e regole della ricerca
L’annuncio ha generato contestazioni che vanno oltre il merito tecnico delle prove. Venticinque vincitori della Medaglia Fields hanno firmato una lettera aperta, A Severe Misalignment of AI in Mathematics, contro la corsa dei laboratori di IA a usare celebri problemi matematici come dimostrazioni di capacità dei modelli. Secondo i resoconti, i firmatari hanno avvertito che questi incentivi potrebbero danneggiare la matematica, la sua cultura di ricerca e la formazione. 19
21
Una disputa separata sulla priorità ha coinvolto Tristan Buckmaster e Levent Alpöge. In una dichiarazione contemporanea, Buckmaster ha scritto di essere stato informato che un sistema interno di OpenAI disponeva di una prova di blow-up in tempo finito per Navier-Stokes forzate. Ha anche riferito che lui e Alpöge si sarebbero sentiti spinti a diffondere lavori correlati prima che la verifica e l’esposizione fossero complete; nel testo precisa che un risultato distinto sulle Navier-Stokes ipodissipative non fu pubblicato perché la verifica in Lean non era terminata. 17
Il racconto di Buckmaster è un elemento importante in una controversia su tempi, credito e pressione alla pubblicazione. Non dimostra, da solo, che OpenAI abbia copiato il lavoro di qualcuno. OpenAI ha dichiarato di aver iniziato a lavorare dopo aver sentito parlare di un presunto progresso dei due matematici e di aver proposto una pubblicazione simultanea che ne riconoscesse la priorità. 32
La questione aperta, quindi, non è soltanto se un sistema di IA possa generare una dimostrazione: è anche se le scoperte assistite dall’IA possano essere divulgate con attribuzioni corrette, controllo indipendente e normali modalità di confronto accademico.
Che cosa può fare, e non può fare, il gruppo allo IAS
OpenAI ha annunciato un Advisory Group on Mathematics and Artificial Intelligence: nove membri, indipendente e non retribuito, ospitato dall’Institute for Advanced Study di Princeton. Tra i componenti indicati nei resoconti figurano Timothy Gowers e Martin Hairer. 4
5
Il gruppo dovrebbe dare ai matematici un ruolo nella valutazione e nella comunicazione dei risultati generati dall’IA, anche attraverso consigli sulle pratiche di revisione e pubblicazione. 5
15
Si tratta però di un organo consultivo, non di un’autorità regolatoria. Le informazioni disponibili indicano che non può costringere OpenAI a rilasciare le prove, imporre il calendario della ricerca, bloccare annunci o decidere in modo definitivo la paternità dei risultati. 7
È un limite sostanziale: un parere di esperti può migliorare trasparenza e comunicazione, ma non trasforma da solo una dichiarazione interna aziendale in un teorema accettato dalla comunità.
Perché non c’è ancora un Millennium Prize
Le regole del Clay Mathematics Institute sono esplicite. Prima di prendere in considerazione una soluzione proposta per un Problema del Millennio, il CMI richiede che il lavoro sia pubblicato in una sede qualificata, che siano trascorsi almeno due anni dalla pubblicazione e che la soluzione abbia ottenuto un’accettazione generale nella comunità matematica mondiale. 46
Un post aziendale, un preprint, un archivio di codice o una valutazione del gruppo consultivo non soddisfano automaticamente tali requisiti. Dopo l’annuncio su Navier-Stokes, lo stesso Clay Mathematics Institute ha ricordato che le proprie regole disciplinano sia la valutazione del risultato sia l’attribuzione del merito. 42
Anche qualora il risultato su Navier-Stokes, o altri risultati futuri di OpenAI, si rivelassero corretti, gli annunci di settembre non li rendono immediatamente idonei al premio: il lavoro dovrebbe comunque attraversare il processo stabilito di pubblicazione e accettazione.
In sintesi
OpenAI afferma che un proprio modello interno abbia risolto più di 100 problemi matematici aperti, dopo la precedente rivendicazione di una soluzione di Navier-Stokes formalizzata in Lean. Il lavoro su Navier-Stokes dispone di materiali pubblici; il portafoglio più ampio non ha ancora un dossier pubblico, dettagliato e verificabile problema per problema. 13
11
La posizione più responsabile oggi non è né liquidare tutto né considerarlo già dimostrato: si tratta di affermazioni potenzialmente molto importanti, che richiedono prove trasparenti, scrutinio specialistico, attribuzioni accurate e tempo. A maggior ragione per qualunque ipotesi su un altro Problema del Millennio, come la congettura di Hodge.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI afferma di aver risolto oltre 100 problemi aperti di matematica. Ma non è ancora un verdetto della comunità scientifica"?
Il 21 settembre 2026 OpenAI ha dichiarato che un modello interno, il cui addestramento è iniziato il 28 agosto, avrebbe risolto più di 100 problemi matematici aperti di lunga data.
What are the key points to validate first?
Il 21 settembre 2026 OpenAI ha dichiarato che un modello interno, il cui addestramento è iniziato il 28 agosto, avrebbe risolto più di 100 problemi matematici aperti di lunga data. Per Navier Stokes l’azienda ha reso pubblici una dimostrazione analitica e una formalizzazione in Lean; per l’elenco più ampio dei «100+» problemi non ha pubblicato un catalogo verificabile risultato per risultato.[13...
What should I do next in practice?
Non esiste una prova pubblica che la congettura di Hodge sia stata risolta: OpenAI ha riconosciuto progressi su un secondo Problema del Millennio non identificato, senza diffondere una dimostrazione sottoposta a revis...