Silvia mi chiede cosa ne penso di questa opinione. Occhei, mi chiede anche che cosa penso dell’affermazione di Vittorio Bertola secondo cui nessun matematico ha chiaro cosa possa essere da domani mattina il senso e il valore del lavoro di un matematico. A quest’ultima domanda non so rispondere, non essendo io un matematico di professione; o meglio, la sua mi pare una generalizzazione azzardata. Per la prima domanda posso provare ad azzardare qualche giudizio visto da fuori: prendetelo insomma con le pinze.

Benoit Henry, per come io leggo il suo post, è depresso perché dice che non c’è più gusto a fare matematica, visto che tanto l’IA ci risolve i problemi molto più in fretta di quanto posiamo fare noi, e non ha nemmeno senso a questo punto parlare di “titolarità” di un problema, anche se poi riconosce che magari questa non sarebbe una pessima idea perché la corsa ai risultati è diventata davvero tossica. Il suo modo di porsi mi pare rassegnato: “usate l’IA se volete usarla, non usatela se non volete usarla, tanto non cambia nulla”. Poi c’è l’altro lato della medaglia: la quantità di articoli firmati da un solo autore sta crescendo in maniera assurda, e Henry immagina che molti di essi siano ottenuti mediante l’IA, e nessuno si preoccupi di verificarli: non stiamo parlando delle congetture da titoloni dei giornali per cui si fa fare una dimostrazione formale a Lean. Questo andazzo è tristemente noto: è notizia di questi giorni che ArXiv ha messo un limite per il numero di articoli inviabili per persona per mese, nell’attesa di trovare un modo migliore per valutare il da farsi.

Ci sono però persone meno negative. Il giorno prima di Henry, Daniel Spielman è partito da un’analisi simile, anzi anche più preoccupata da certi punti di vista. Il primo problema che Spielman vede è che il proliferare di risultati dipende anche dagli agenti IA sguinzagliati a cercare congetture, “risolverle” (uso le virgolette perché come dicevo non è detto che la soluzione sia corretta) e mettere così in giro risultati falsi su cui si costruiranno altri risultati falsi. In pratica, dice, abbiamo la lotteria LLM: chi riesce a trovare il prompt giusto o più probabilmente chi ha la fortuna che la generazione stocastica della risposta è andata nella direzione giusta vince il premio della dimostrazione. Un altro problema è che se si usa troppo l’IA poi ci si disabitua a pensare come prima: è il classico problema del Fedro declinato in salsa LLM. Ma ci sono anche altre considerazioni, a partire dal fatto che noi abbiamo visto che le IA possono risolvere problemi che avevano bloccato la comunità matematica per decenni, ma non abbiamo un’idea di cosa non possono risolvere. Le idee di Spielman, non ancora cristallizzate, sono innanzitutto di cercare un sistema diverso di incentivazione che premi non tanto il risultato quanto il lavoro umano dietro quel risultato; fare in modo che si pubblichi solo ciò che si saprebbe spiegare in un seminario, eliminando pertanto le “dimostrazioni” tecnicamente verificate con Lean ma incomprensibili ai matematici; cambiare il modo in cui si assegnano i grant, perché non abbiamo più la certezza che le domande da studiare siano vere e non inquinate dall’IA.

E i miei due cent? Io ero già convinto quarant’anni fa che in molti campi non si facesse davvero matematica per comprendere meglio il mondo, ma per aggiungere inutili minuzie al corpo di conoscenze che avevamo. Adesso la barriera si è abbassata e quindi le cose sono peggiorate. Probabilmente insomma avremo bisogno di meno matematici ma più bravi, e più persone che sappiano abbastanza di matematica per le cose “pratiche”, che non sono i conti al ristorante ma i modelli del mondo reale. Credo però che la transizione sarà davvero brutale.