(mynewsroom.it) Con centinaia di problemi risolti dall’IA, la comunità matematica attraversa una crisi senza precedenti. In gioco non c’è solo il lavoro dei ricercatori, ma il senso stesso della disciplina. Le IA dimostrano risultati rimasti aperti per decenni, spesso senza spiegare come. Tra chi invoca il boicottaggio e chi chiede di adattarsi, i matematici si dividono.
Al Congresso internazionale dei matematici di Filadelfia, Jacob Tsimerman ha ricevuto la medaglia Fields, il più alto riconoscimento della disciplina. Poche ore dopo ha annunciato il suo passaggio a OpenAI, dove si occuperà di sicurezza. È una scelta che riassume la frattura apertasi in un mondo di solito appartato come quello della ricerca matematica.
Negli ultimi mesi i progressi delle macchine si sono susseguiti a ritmo serrato. OpenAI ha rivendicato la soluzione di diversi enigmi rimasti a lungo irrisolti, tra cui il problema di Navier-Stokes. Il 6 ottobre ha poi annunciato 377 nuovi risultati, ottenuti con modelli non ancora pubblici. Il modello della cinese RedNote ha totalizzato un punteggio pieno alle Olimpiadi internazionali di matematica. Per Tim Gowers, dell’Università di Cambridge, gli esseri umani faticheranno presto a competere con l’IA nella risoluzione dei problemi.
La posta in gioco va oltre la scienza. Secondo Joshua Grochow, dell’Università del Colorado, le aziende del settore usano la matematica come argomento promozionale: se sanno risolvere il compito più arduo, possono risolvere tutto. Lo stesso Grochow ammette però che alcuni strumenti producono ormai matematica davvero nuova. Miek Messerschmidt, dell’Università del Witwatersrand, ha visto Claude, l’agente di Anthropic, sbloccare in mezz’ora un problema su cui era fermo. Ha provato sollievo, ma anche turbamento.
Tante rivoluzioni
La disciplina ha già vissuto rivoluzioni tecnologiche, dall’abaco alla calcolatrice fino alla lavagna. Quelle innovazioni però aiutavano i ricercatori ad andare oltre, mentre i modelli linguistici ne minacciano il mestiere. Alle paure condivise con altre professioni, come la perdita del lavoro, lo sfruttamento non riconosciuto della propria produzione e l’impoverimento dell’insegnamento, se ne aggiungono di specifiche.
Si teme che pochi fornitori controllino l’accesso alla ricerca, che i giovani più brillanti migrino verso l’industria e che nessuno sappia più comprendere, e garantire, i risultati delle macchine. Ventotto medaglie Fields, tra cui Hugo Duminil-Copin, hanno denunciato un grave “disallineamento” dell’IA nella disciplina, in un appello sottoscritto da oltre 8.000 ricercatori.
Agli uomini la parte più difficile
Molti guardano a Terence Tao, dell’Università della California a Los Angeles, ritenuto il matematico più brillante della sua generazione. La sua ipotesi di lavoro è che gli strumenti continueranno a migliorare e la ricerca accelererà. Risolvere problemi diventerà compito delle macchine, mentre agli esseri umani resterà la parte più difficile: capire perché una soluzione è corretta e saperla spiegare.
Non tutti accettano questo scenario. Alcuni matematici hanno promosso una petizione per boicottare il congresso di Filadelfia, raccogliendo oltre 2.600 firme. Protestavano contro la guerra in Iran, l’autoritarismo crescente negli Stati Uniti e i rischi per gli accademici stranieri. Si contesta l’uso della matematica per accreditare l’idea che queste tecnologie siano intelligenti.