Un annuncio senza precedenti

Il 6 ottobre 2026 OpenAI ha rilasciato in un unico colpo più di 700 manoscritti contenenti dimostrazioni per centinaia di problemi matematici ancora aperti. Il blog Proofs and Prompts ha raccolto oltre 100 reazioni da parte di matematici e matematiche di tutto il mondo, creando una tempesta mediatica che ha messo a fuoco il confine tra intelligenza artificiale e ricerca pura.

Le prime impressioni: fascino e disincanto

Il valore reale delle soluzioni caricate su GitHub è ancora oggetto di valutazione. Alcuni articoli sono stati ritirati, altri descritti come difficili da leggere, ma una parte consistente della comunità ha mostrato impressione per la quantità e la varietà dei risultati. L’emozione è rapidamente passata da una curiosità intellettuale a una profonda preoccupazione.

Voci eminenti

Le testimonianze raccolte rivelano una gamma di sentimenti che vanno dalla speranza alla disperazione.

Peter Scholze, Fields Medalist: “Dobbiamo essere pazienti. La matematica è una maratona, non uno sprint. L’obiettivo resta la comprensione umana. Tuttavia, se gli algoritmi riescono a rompere i crittografici più diffusi, le conseguenze per l’infrastruttura digitale sarebbero catastrofiche.”
Terence Tao: “Le prove generate dall’IA introducono idee nuove e potenzialmente fruttuose, ma sono profondamente frustranti perché non c’è nessun essere umano disponibile a rispondere a domande, tenere lezioni o formare studenti. Dobbiamo riunirci più che mai.”
Alvaro Lozano‑Robledo: “Il 6 ottobre potrebbe essere il giorno più importante nella storia della matematica, ma OpenAI ha affrontato solo una variante più debole della congettura di Riemann. Quasi‑RH è enorme, ma non è RH.”
Ben Green: “Sono assolutamente scioccato. Tre quarti dei miei obiettivi di ricerca, finanziati a giugno con una prestigiosa borsa europea, sono stati completati dall’IA in una notte.”
Roman Sauer: “Ho riconosciuto un trucco matematico che avevo sviluppato per anni all’interno di due soluzioni di OpenAI su problemi completamente diversi. Sono stupito.”
Johannes Schmitt: “I paper non sono nati per avanzare la matematica, ma come sottoprodotto dello sviluppo interno dei modelli. OpenAI ha dovuto usare problemi aperti perché erano l’unica sfida rimasta per i modelli di frontiera.”
Ian Agol: “Come per la dimostrazione di Grigori Perelman nel 2002, l’IA ha pubblicato senza tenere conferenze. Le comunità hanno impiegato anni per decifrare i dettagli.”
Hugo Duminil‑Copin, Fields Medalist 2022: “Mi aspettavo di essere superato un giorno, ma l’annuncio di ieri mi ha colpito con una violenza inattesa. Non tutti i grandi problemi aperti sono stati risolti, ma la portata è immensa. Sono paralizzato.”
Matt Zaremsky: “Dopo quattro anni di lavoro su un problema, OpenAI ha lanciato l’intera soluzione come se fosse una carica di TNT da un’azienda da trilioni di dollari. Il risultato è non grande.”
Tasmin Chu: “Durante gli studi mi ero innamorata di un problema di teoria delle probabilità. Ora la bellezza del pensiero matematico mi è stata tolta, lasciandomi disgustata dalla società in cui viviamo.”
Tristan Humbert, dottorando: “Il giorno della pubblicazione ho scoperto che l’IA aveva una dimostrazione per il problema su cui basavo la mia tesi. Sono passato da tristezza a stress, poi a rabbia leggendo il “slop” quasi illeggibile.”
Enrico Fatighenti: “C’è un doppio standard: rifiutiamo lavori umani poco leggibili, ma la community è costretta a decifrare i paper dell’IA, spendendo tempo e riconoscimento che dovrebbe andare a noi.”
Henry Wilton: “Se OpenAI volesse distruggere la comunità matematica, questo è il metodo perfetto: anonimato, assenza di metriche d’errore e l’implicazione che la matematica non sia più un’impresa umana.”
Sam Hughes: “Era un privilegio fare ricerca matematica, ma ora mi chiedo quanta bellezza abbiamo perso.”
Koji Fujiwara: “AI, AI, AI, AI / I’m begging of you, please don’t take my math / AI, AI, AI, AI / Please don’t take it just because you can” (sulla melodia di “Jolene” di Dolly Parton).

Una comunità divisa

Molte delle reazioni non si concentrano tanto sulla qualità delle dimostrazioni quanto sulle emozioni provate. Shock, paralisi e ansia esistenziale sono parole ricorrenti. Alcuni ricercatori temono di perdere il proprio “modo di lavorare” e la possibilità di guidare nuove generazioni di studenti.

Riflessioni su sicurezza e crittografia

Scholze ha sottolineato il rischio che algoritmi capaci di risolvere problemi matematici complessi possano anche rompere gli attuali schemi di crittografia. Se le IA diventassero abbastanza potenti da affrontare problemi su cui si basano protocolli di sicurezza, l’intera infrastruttura digitale sarebbe minacciata.

Confronti storici

Ian Agol ha paragonato l’impatto dell’IA a quello di Grigori Perelman, che nel 2002 pubblicò la dimostrazione della congettura di Poincarè senza tenere conferenze. In entrambi i casi, la comunità ha dovuto impiegare anni per verificare i dettagli, ma con l’IA la scala è molto più ampia.

Storie di chi sente il futuro svanire

Matt Zaremsky descrive il proprio percorso come una “scavazione archeologica” interrotta da un’esplosione di TNT. Tristan Humbert racconta di dover ristrutturare il proprio piano di ricerca in preda al panico. Tasmin