Le cinque fasi descritte da Altman
Durante un intervento alla Stanford University davanti a centinaia di studenti preoccupati per il proprio futuro lavorativo, il CEO di OpenAI Sam Altman ha raccontato, come riporta la fonte, come la comunità matematica stia reagendo all'ingresso dell'intelligenza artificiale nella ricerca. Secondo Altman, il percorso assomiglia a un lutto: prima lo stupore, poi la paura che la disciplina sia finita e l'idea di dover convincere i dottorandi a cambiare strada; intorno al terzo giorno subentra la collera verso OpenAI; infine, verso il quinto, l'accettazione dell'IA come strumento ormai imprescindibile per la ricerca e le dimostrazioni, con la speranza di un percorso professionale diverso ma migliore. Si tratta di una ricostruzione fatta da Altman e riportata dalla fonte, non di un sondaggio tra i matematici.
La tesi del CEO è che l'IA non causerà un disastro occupazionale e che la matematica sia il campo in cui la trasformazione è avvenuta con la velocità più alta mai osservata: egli stesso parla di una dinamica senza precedenti. La rilevanza sta nel fatto che è un dirigente dell'azienda che sviluppo l'IA a descrivere come inevitabile l'adattamento degli studiosi.
Le contestazioni: dalla congettura alla maratona
L'ottimismo del CEO non è condiviso da buona parte della comunità scientifica citata dalla fonte. A settembre OpenAI ha annunciato che un suo modello aveva affrontato un noto problema matematico legato all'equazione di Navier-Stokes, irrisolto secondo la fonte dalla ricerca dell'Ottocento. L'annuncio ha suscitato la reazione di ricercatori della New York University e di Anthropic, che hanno contestato l'uso dei loro scambi con l'IA come dati utili al risultato. Altri studiosi hanno lamentato che, anche ammettendo la soluzione, non fosse mostrata la derivazione, lasciando agli umani solo la verifica.
La tensione è proseguita con una "maratona matematica" lanciata da studenti del Caltech per affrontare problemi aperti con l'ausilio dell'IA. Oltre 700 studiosi hanno firmato una lettera pubblica che criticava l'iniziativa per il rischio di contenuti generati di bassa qualità; OpenAI ha ritirato la sponsorizzazione e gli organizzatori hanno modificato le regole, con la gara prevista a novembre. In parallelo, il professor Terence Tao dell'UCLA ha parlato della fine dell'era "romantica" della ricerca matematica, notando come molti colleghi passino dal risolvere problemi al verificare le risposte dell'IA, e commentando con un "qualcosa si sta perdendo" l'ultimo annuncio di OpenAI su oltre 700 problemi affrontati.
Cosa resta da verificare
Il quadro che emerge contrappone la narrazione di Altman, centrata sull'adattamento e sui benefici, alle obiezioni di metodo e di attribuzione sollevate dai ricercatori. Restano però da chiarire alcuni punti: la fonte riporta le contestazioni senza indicare esiti o verifiche indipendenti sulle soluzioni annunciate, e non è dato sapere quanti matematici condividano davvero le cinque fasi descritte o le critiche. La gara di novembre, dopo le modifiche al regolamento, e l'evoluzione del rapporto tra ricerca umana e strumenti automatici saranno gli elementi da osservare per capire se la previsione di Altman troverà conferma nei fatti.