OpenAI ha annunciato di aver trovato una soluzione al problema di Navier-Stokes, uno dei sette Millennium Prize Problems della Clay Mathematics Institute. L’annuncio, datato 8 settembre 2026, arriva con un modello interno definito “significamente più capace di GPT-6 Astra” e accompagnato da una formalizzazione in Lean. Ma dietro il trionfo tecnologico si nasconde una domanda scomoda: chi controlla davvero la conoscenza quando la matematica più pura diventa prodotto di un laboratorio aziendale?
La matematica non è neutra: quando il teorema serve al potere
Il problema di Navier-Stokes riguarda la possibilità che i fluidi sviluppino singolarità in tempo finito, ovvero che la velocità diventi infinita nonostante la viscosità. Una questione astratta? Solo in apparenza. Queste equazioni sono alla base della progettazione di aeromobili, della previsione del tempo, dello studio del flusso sanguigno e, non da ultimo, della simulazione di esplosioni nucleari e del comportamento dei missili ipersonici. Quando OpenAI afferma di aver dimostrato che “un fluido inizialmente a riposo può sviluppare una singolarità”, sta toccando un nervo scoperto della ricerca militare.
Non è un caso che il finanziamento pubblico alla ricerca matematica pura sia stato sostituito, negli ultimi anni, da investimenti privati legati a applicazioni belliche. La Clay Mathematics Institute, pur mantenendo formalmente indipendenza, opera in un ecosistema dove i premi milionari attraggono talenti che poi finiscono nei laboratori di difesa o nelle Big Tech. La soluzione di OpenAI non è un dono all’umanità: è un tassello nel monopolio della conoscenza strategica.
Lean, la prova formale e l’illusione della trasparenza
OpenAI ha rilasciato sia una scrittura della prova che una formalizzazione in Lean, il linguaggio di dimostrazione assistita da computer. Un gesto che sembra aprire alla verifica collettiva. Ma Lean, sebbene open source, richiede competenze esclusive: pochi matematici al mondo possono leggere una dimostrazione formale in questo linguaggio, figurarsi verificarla. È la stessa trappola dei “white paper” delle aziende tech: trasparenza di facciata, opacità sostanziale.
Mentre la comunità open source celebra GitHub come piazza del sapere libero, i repository ufficiali di OpenAI (NavierStokesAndEuler e OpenAI) rimangono sotto stretto controllo aziendale. Nessuna licenza copyleft, nessun invito al fork, nessuna garanzia che il modello utilizzato possa essere ricompreso o riaddestrato altrove. La conoscenza è condivisa, ma il potere rimane concentrato.
Chi guadagna davvero dalla soluzione di Navier-Stokes?
Il comunicato di OpenAI parla di “empower scientists to advance research and technology that benefits all of humanity”. Una retorica familiare, usata da ogni potenza tecnologica dal Manhattan Project in poi. Ma chi sono davvero questi “scientists”? Quelli che lavorano nei laboratori di Los Alamos? Quelli che sviluppano sistemi di guida per droni autonomi presso Palantir? Quelli che ottimizzano la combustione nei motori a reazione per caccia di quinta generazione?
La soluzione di un problema matematico così fondamentale non è neutra: chi la controlla può modellare meglio il comportamento dei fluidi in condizioni estreme, migliorare l’efficienza di armi ipersoniche, prevedere con maggiore precisione gli effetti delle esplosioni in ambienti chiusi. Non è un caso che l’annuncio arrivi in un periodo di rinnovata corsa agli armamenti ipersonici, con Stati Uniti, Cina e Russia che investono miliardi in tecnologie dove la dinamica dei fluidi è critica.
L’alternativa dal basso: matematica libera, non prigioniera dei brevetti
Esiste un’altra strada. Quella dei progetti come Mathlib, la libreria matematica per Lean sviluppata dalla comunità, o di iniziative come Julia per il calcolo scientifico aperto. Progetti dove la conoscenza non è un prodotto da licenziare, ma un bene comune da costruire insieme. Dove le dimostrazioni vengono verificate da chiunque abbia tempo e competenza, non da un team interno soggetto a obiettivi di mercato.
La soluzione di Navier-Stokes dovrebbe appartenere a questa tradizione: verificabile, modificabile, applicabile senza restrizioni. Invece diventa un altro tassello del capitale cognitivo, dove anche la matematica più astratta è catturata dal ciclo del profitto e del controllo.
Conclusione: la vera singolarità è quella del potere
Forse l’ironia più amara è che la singolarità descritta dalla soluzione di Navier-Stokes — quella dove la velocità tende all’infinito in tempo finito — assomiglia pericolosamente alla curva di accumulo del potere tecnologico. Mentre le equazioni descrivono un fluido che si spacca sotto la propria tensione, noi assistiamo a una conoscenza che si frantuma sotto il peso della proprietà intellettuale, dei brevetti, dei segreti industriali.
La vera sfida non è risolvere Navier-Stokes. È impedire che la sua soluzione diventi un’altra arma nelle mani di chi già detiene troppo potere. La matematica libera esiste. Sta a noi difenderla.