Terence Tao, il matematico dell’UCLA ampiamente considerato come la figura vivente più influente nel campo, ha pubblicato un saggio in cui sostiene che l’intelligenza artificiale sta spingendo la matematica in un periodo di turbolenza paragonabile alla crisi fondamentale che ha rimodellato la disciplina un secolo fa. L'articolo, "La matematica nell'era dell'intelligenza artificiale", è apparso su arXiv il 17 agosto e si basa su una conferenza pubblica tenuta da Tao al Congresso internazionale dei matematici del 2026.
Il saggio è diventato rapidamente uno dei testi scientifici più discussi della settimana tra ricercatori e ingegneri, attirando un vasto pubblico su forum come Hacker News. Per un campo che ha trascorso gli ultimi tre anni a discutere se l'intelligenza artificiale possa davvero fare matematica a livello di ricerca, l'argomentazione di Tao cambia completamente la questione.
Una crisi di valori, non di verità
L'inquadramento storico di Tao è intenzionale. Tra il 1900 e il 1930 circa, la matematica fu scossa dal paradosso di Russell nel 1901 e dai teoremi di incompletezza di Gödel nel 1931: scoperte che costrinsero i matematici ad abbandonare le ipotesi informali e a costruire le basi esplicite e rigorose su cui poggia ancora oggi la materia. Quella turbolenza, sostiene, alla fine ha reso la matematica più forte.
Il parallelo che traccia è preciso: ciò che viene messo a dura prova ora non è la struttura della verità della matematica, ma la sua “struttura in gran parte implicita di valori e pratiche matematiche” – ciò che la comunità considera un contributo, cosa premia, cosa considera compreso e chi, o cosa, ritiene abbia svolto il lavoro. Proprio come l’ultima crisi ha costretto l’implicito a diventare esplicito, Tao sostiene che questa crisi costringerà i matematici a codificare obiettivi che non hanno mai dovuto essere scritti.
Saltare il dibattito sulle capacità
La scelta strutturale più sorprendente del saggio è che si rifiuta di discutere se l’intelligenza artificiale possa fare matematica. Invece, Tao condiziona l’ipotesi che arriveranno strumenti di intelligenza artificiale capaci di compiti matematici a livello di ricerca e tratta tutto ciò che è a valle di tale ipotesi come il vero problema. Lui la chiama la "domanda di risposta della comunità": come dovrebbe rispondere la comunità matematica, non se le capacità sono reali.
È una mossa volutamente ortogonale. I dibattiti sulla capacità del modello, secondo Tao, sono irrisolvibili in astratto e al tempo stesso fuori questione. Le domande urgenti – a cosa serve la matematica e cosa realmente apprezzano i suoi praticanti – richiederebbero risposte anche se domani il progresso dell’IA si fermasse.
Scarsità di prove, abbondanza di prove e legge di Goodhart
Al centro del saggio c’è un caso di studio sulla risoluzione dei problemi, la componente della pratica matematica più direttamente minacciata dall’automazione. Tao esamina cosa succede quando il campo si sposta da un’economia di scarsità di prove – dove le prove originali e verificate sono rare e preziose – a un’economia di abbondanza di prove, dove gli argomenti generati dalle macchine sono economici e abbondanti.
Il suo elenco di parole chiave segnala l'argomento trattato: formalizzazione, assistenti alla prova, revisione tra pari, legge di Goodhart. Quest’ultimo punto – il principio secondo cui una misura cessa di essere una buona misura una volta che diventa un obiettivo – ricorre ovunque. Il conteggio delle pubblicazioni, i risultati delle competizioni e la provenienza dei teoremi sono serviti tutti come indicatori del contributo matematico. In un mondo in cui l’intelligenza artificiale può gonfiare tali proxy su larga scala, la comunità dovrà premiare ciò che apprezza effettivamente piuttosto che ciò che è stata storicamente in grado di contare.
Il saggio si chiude con raccomandazioni e un’indagine sui flussi di lavoro emergenti – compresi ambienti di prova formale del tipo che lo stesso Tao ha sostenuto in esperimenti con matematica formalmente verificata e assistita dall’intelligenza artificiale – insieme a un sincero riconoscimento che la risposta della comunità si evolverà insieme alla tecnologia.
Perché un saggio di matematica è importante al di fuori della matematica
Tao è una figura insolita: un vincitore della medaglia Fields che ha trascorso anni lavorando direttamente con gli assistenti di prova e gli strumenti di intelligenza artificiale invece di commentarli a distanza. Questo impegno pratico conferisce al saggio un peso che va oltre la matematica pura, perché quasi ogni disciplina di ricerca affronta la stessa inversione da lui descritta. La revisione tra pari, la paternità, il credito e la definizione di un contributo sono sottoposti alla stessa pressione in fisica, biologia e informatica, campi che non hanno il secolare vantaggio della matematica nel rendere espliciti i propri fondamenti.
L'accoglienza finora suggerisce che l'argomento ha avuto successo. I filoni di discussione si sono concentrati sulla definizione di scarsità-abbondanza proposta da Tao come lente utile per il mondo accademico in generale, con particolare attenzione al punto secondo cui la crisi dei valori, a differenza della crisi dei fondamenti, non può essere risolta da un piccolo gruppo di logici. Dovrà essere elaborato dall’intera comunità: riviste, comitati di assunzione, enti di finanziamento e matematici le cui carriere sono costruite sulle norme implicite ora sotto pressione.
La conclusione di Tao è in definitiva costruttiva piuttosto che allarmata. La crisi fondamentale ha prodotto una struttura affidabile che è sopravvissuta a un secolo di test. Un esame approfondito e onesto di ciò che la matematica realmente valorizza, sostiene, potrebbe rendere la disciplina più forte e più resistente di prima, a condizione che la comunità faccia il lavoro di rendere esplicite le sue regole non scritte prima che le circostanze facciano la scelta.
---
Stai al passo con l'intelligenza artificialeRicevi le ultime notizie, analisi e scoperte sull'intelligenza artificiale, tutto in un unico posto.
Leggi altre notizie sull'AI →
