Terence Tao: l’AI sta trasformando la matematica e i matematici devono reagire

Terence Tao, uno dei matematici più influenti al mondo, ha lanciato un allarme: l’espansione dell’intelligenza artificiale (AI) sta mettendo in discussione la base stessa della pratica e della cultura della matematica. A causa del rapido progresso degli strumenti AI, i matematici si trovano di fronte a una crisi senza precedenti, che richiede una riforma radicale entro la fine dell’anno. Tao, che ha vinto il Fields Medal nel 2006, ha sottolineato che la comunità scientifica non può più rimanere passiva e deve rivedere il ruolo e i valori che definiscono la professione.

La crisi della matematica e l’AI

La matematica, una disciplina che ha visto evoluzioni lente e costanti per millenni, sta ora affrontare una trasformazione senza precedenti. Gli strumenti AI stanno risolvendo problemi che erano considerati inaccessibili, come quelli che avevano resistito per decenni. Tao ha sottolineato che, per la prima volta in oltre un secolo, i matematici si trovano di fronte a una minaccia che richiede una risposta collettiva e immediata. “Non possiamo più passivamente accettare i cambiamenti esterni”, ha detto, “dobbiamo organizzarci, diventare attori, e prendere una posizione politica”.

La comunità matematica deve rivedere i valori e le pratiche che definiscono la professione. Tao ha spiegato che la crisi non riguarda solo la capacità di risolvere problemi, ma anche il modo in cui la conoscenza matematica viene condivisa, valutata e appresa. “La forma di un articolo matematico non è cambiata da decenni, ma il modo in cui viene scritto e letto sta subendo una trasformazione radicale”, ha osservato. Questo richiede un’adeguata riflessione e una riforma culturale.

La sfida della comunicazione e della comprensibilità

Sebbene l’AI sia in grado di generare e verificare dimostrazioni matematiche in modo efficiente, il problema principale rimane la comprensibilità delle sue soluzioni. Tao ha spiegato che le dimostrazioni prodotte dagli strumenti AI spesso sono difficili da leggere e interpretare. “A volte, un modello AI spende pagine per dimostrare qualcosa che è ovvio per un matematico umano, ma poi compatta la parte più difficile in poche righe, ignorando i dettagli più significativi”, ha osservato. Questo fenomeno mette in discussione l’effettiva validità e l’importanza delle dimostrazioni generate da AI. La trasparenza nel processo di risoluzione dei problemi è un problema critico. La natura privata e non completamente compresa delle tecnologie sottostanti, come ChatGPT o Claude, rende difficile valutare l’effettiva validità delle soluzioni. “La strada che porta alle soluzioni è spesso oscura e non accessibile”, ha sottolineato Tao. Questo crea un rischio di distorsione e di perdita di controllo su una disciplina che ha sempre fatto affidamento sulla collaborazione e sulla trasparenza.

Tao ha proposto un cambiamento radicale nella pratica della matematica, che include una maggiore enfasi sulla comunicazione e sull’esplicazione delle dimostrazioni. Ha lanciato un progetto chiamato Mathematical Discourse, un giornale video in cui i contributi dei matematici saranno valutati non solo per la correttezza delle dimostrazioni, ma anche per la capacità di spiegarle in modo chiaro e coinvolgente. “Le dimostrazioni devono essere facili da comprendere, interessanti da leggere e chiare nella loro innovazione”, ha detto. Questo approccio mira a preservare l’essenza della matematica, che non è solo la produzione di risultati, ma anche la capacità di trasmetterli e di influenzare il futuro della disciplina.

Per Tao, il futuro della matematica dipende non solo dall’abilità di risolvere problemi, ma anche dalla capacità di mantenere un dialogo costruttivo con la comunità scientifica. “I matematici devono prendere la parola e chiarire il ruolo che devono svolgere in un mondo in cui l’AI sta rapidamente modificando le regole del gioco”, ha concluso. La sfida non è solo tecnologica, ma anche culturale e sociale, e richiede una collaborazione senza precedenti tra scienziati, educatori e tecnologi.

—