“Sono davvero terrorizzato”: Un matematico alle prese con gli avanzamenti rivoluzionari dell’IA
L’IA riscrive la matematica: tra entusiasmo scientifico e "malessere umano"
Il matematico e scrittore Steven Strogatz scoppia in lacrime parlando delle rivoluzionarie scoperte guidate dall’intelligenza artificiale nel suo campo nell’ultima settimana. "La scienza è entusiasmante", afferma il professore della Cornell University, "ma c’è anche molto malessere umano che l’accompagna."
Martedì scorso, OpenAI ha annunciato di aver utilizzato decine di migliaia di agenti per risolvere un problema matematico vecchio di 90 anni, a cui era associato un premio di un milione di dollari. La soluzione – che deve ancora essere verificata in modo indipendente – si basa su una strategia sviluppata dai matematici spagnoli Diego Córdoba e Luis Martínez-Zoroa. L’annuncio è stato però macchiato dalle rivendicazioni di un altro matematico, Tristan Buckmaster, il quale sostiene che OpenAI si sia affrettata a risolvere il problema dopo aver appreso del suo lavoro in collaborazione con il ricercatore di Anthropic, Levent Alpöge. Buckmaster afferma inoltre che OpenAI avrebbe tentato di influenzare l’attribuzione dei meriti per il lavoro.
Questa frattura è sintomo dei rapidi cambiamenti in atto nel campo a causa dei progressi dell’IA e di quella che Strogatz – coautore di "Big Math", un libro in uscita a novembre su come la matematica stia sfuggendo alla comprensione umana – descrive come una corsa dei laboratori aziendali per accaparrarsi i titoli prima di sensazionali IPO.
La settimana precedente, Anthropic aveva dichiarato che il suo modello Claude aveva dimostrato 29.500 piccoli teoremi formalizzando una prova esistente del celebre Ultimo Teorema di Fermat, un progetto su cui altri matematici lavoravano da anni. Ad agosto, OpenAI aveva annunciato progressi su altri dieci problemi matematici di lunga data. L’IA sta accelerando le scoperte matematiche, dice Strogatz, ma ciò che significa per gli esperti che hanno dedicato la loro vita al campo è decisamente meno chiaro.
"Credo che l’anno 2026 sarà ricordato come un annus mirabilis o annus horribilis per la matematica, perché sono successe così tante cose", dice Strogatz a WIRED, seduto di fronte a una parete coperta di riconoscimenti universitari incorniciati. "Non potrai competere senza l’IA in futuro se vorrai fare matematica rivoluzionaria", aggiunge.
Il suo collaboratore al libro, Alex Townsend, ha già utilizzato la tecnologia per accelerare la loro ricerca. Recentemente ha usato ChatGPT per risolvere un problema di algebra lineare numerica vecchio di decenni. Verso la fine dell’intervista, Townsend entra nella soffitta di Strogatz. Townsend e il suo coautore hanno affermato che senza la tecnologia, il volume di lavoro richiesto e il rapporto costo-beneficio sarebbero stati irragionevolmente alti. Ma mentre l’IA ha aiutato il suo lavoro, sta anche cambiando il modo in cui Townsend vede il campo e il suo ruolo in esso.
"In realtà mi sento un po’ turbato per aver dedicato 15 anni della mia vita alla ricerca matematica, e in un momento della mia carriera in cui sono molto produttivo e al culmine della mia forza come matematico, quella capacità di punta non c’è più. Qualcosa è in grado di superarmi", afferma. "Prima, era così eccitante perché eri di livello mondiale, facevi ottima ricerca, spingevi i confini della conoscenza, e ora non mi sento più quello al confine della conoscenza. Sono quello con un agente AI, il che è molto diverso in realtà. E mi sento totalmente minacciato da essa."
Da parte sua, Strogatz paragona il momento attuale della matematica a un film horror, mentre l’IA, guidata da sistemi non ben compresi, si avvicina sempre di più. "Ma non siamo ancora alla fine del film", dice Strogatz. "Istintivamente, sono davvero terrorizzato."