I matematici sono scossi dopo che OpenAI ha rilasciato 700 dimostrazioni generate dall'AI

Una valanga di dimostrazioni

Il 6 ottobre 2026, OpenAI ha caricato su GitHub oltre 700 manoscritti, sostenendo di fornire soluzioni a centinaia di problemi matematici aperti. Il rilascio è arrivato solo mesi dopo che l'azienda ha presentato il suo modello GPT-6 Astra, che aveva già lasciato senza parole i ricercatori risolvendo problemi un tempo considerati ben oltre la portata dell'AI.

I modelli di AI avevano a lungo faticato con la matematica. Solo pochi anni fa, fallivano in problemi che studenti avanzati potevano risolvere abitualmente. Ma le scoperte si sono accumulate a partire dalla metà del 2026, tra cui lavori sulla Congettura della Distanza Unitaria, sul problema dell'esistenza e regolarità di Navier-Stokes e dieci soluzioni presentate al lancio di Astra.

Reazioni miste

Il blog di matematica Proofs and Prompts ha raccolto oltre 100 risposte dai ricercatori. La gamma era ampia. Il Medaglia Fields Peter Scholze ha esortato alla pazienza, scrivendo che "la matematica è una maratona, non uno sprint" e avvertendo che l'obiettivo sarà sempre la comprensione umana della matematica, che richiede tempo ¹. Ha anche sollevato la possibilità che questi sistemi possano trovare modi per violare metodi di crittografia ampiamente utilizzati, definendo le conseguenze per l'infrastruttura digitale "catastrofiche" .

Terence Tao ha descritto le dimostrazioni generate dall'AI come potenzialmente feconde una volta adeguatamente digerite, ma ha detto di essere "profondamente frustrato" dall'assenza di persone in grado di discutere, presentare o insegnare il lavoro. Ha chiesto solidarietà in tutta la comunità ¹.

Ben Green ha definito alcuni risultati "assolutamente scioccanti", notando che il rilascio sembrava risolvere circa tre quarti degli obiettivi di ricerca coperti da un prestigioso grant europeo ottenuto appena il mese prima ¹.

Shock e dolore

Ma molte risposte si sono concentrate non sulla qualità delle soluzioni, ma su come sono state deliverate. Hugo Duminil-Copin, vincitore della Medaglia Fields 2022, ha scritto che l'annuncio l'ha colpito con una forza che non aveva previsto ¹. "Lo shock è immenso. Sono paralizzato," ha detto.

Matt Zaremsky lo ha paragonato a guardare un'azienda da un trilione di dollari arrivare a uno scavo decennale e far detonare esplosivi sul sito, restituendo l'intero scheletro del fossile e camminando via ¹.

Tasmin Chu, che si era innamorata di un problema di teoria della probabilità da studentessa, ha detto di sentirsi "assolutamente disgustata dalla società" in cui un tale rilascio sembrava normale ¹. Per lo studente di dottorato Tristan Humbert, l'annuncio minacciava il tema della sua tesi e la sua ricerca di lavoro. Dopo aver letto il paper, lo ha definito "principalmente letame illeggibile" .

Alcuni dei paper sono già stati ritirati, e altri hanno attirato critiche per essere difficili da leggere. OpenAI aveva preso di mira l'Ipotesi di Riemann, il problema irrisolto più famoso della matematica, ma ha ottenuto solo una variante più debole ¹.

I fatti principali

• OpenAI ha rilasciato oltre 700 manoscritti matematici generati dall'AI il 6 ottobre 2026
• Oltre 100 ricercatori hanno risposto, molti esprimendo shock e dolore
• Il Medaglia Fields Peter Scholze ha avvisato che i sistemi potrebbero violare la crittografia
• Alcuni paper sono stati ritirati; altri criticati come illeggibili
• OpenAI ha preso di mira l'Ipotesi di Riemann ma ha dimostrato solo una variante più debole

Seen on social

Introducing Microsoft-Decision-1, our new model for fast decision-making. It delivers top performance on structured decision tasks, outperforming both LLMs and other decision models in latency and quality. We’re already testing it across Microsoft for everything from incident… pic.twitter.com/M3fAOD90r6

— Satya Nadella on X, see the post

Fonti

1. "How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field — the-decoder.com