Matematici insegnano all'IA

Un adolescente, appassionato di matematica, ha inviato un'email a Martin Hairer, matematico noto per la sua creatività eccezionale, esprimendo preoccupazioni riguardo all'impatto dell'intelligenza artificiale (AI) sul campo. Il giovane, che si sentiva in competizione con modelli algoritmici sempre più avanzati, ha espresso dubbi su come la matematica potesse mantenere la sua magia in un mondo in cui le macchine sembravano superare gli esseri umani. "È difficile comprendere cosa realmente accade", ha dichiarato, "e sento che ogni giorno i modelli migliorano, e presto potrebbero renderci inutili". La sua domanda, però, ha sollevato un dibattito più ampio: se un'AI riesce a risolvere problemi complessi, non si perde una parte dell'essenza della matematica?

Martin Hairer, vincitore del Fields Medal nel 2014 e del Breakthrough Prize nel 2021, ha risposto al ragazzo sottolineando che la matematica, pur essendo in grado di essere supportata da strumenti AI, rimane un campo "sicuro" rispetto alla sostituzione completa. Pur riconoscendo la capacità dei grandi modelli linguistici (LLM) di risolvere problemi inventati, ha sottolineato che non esistono esempi plausibili in cui un'AI abbia generato un concetto o un'idea genuinamente nuova. Il matematico ha spiegato che il suo intervento era parte di un lavoro con colleghi, tra cui Mohammed Abouzaid, Lauren Williams e Tamara Kolda, per valutare le capacità delle macchine nell'ambito della ricerca matematica. L'obiettivo era creare un benchmark oggettivo, sfuggendo alle iperbole spesso associate alla "soluzione" della matematica da parte dell'AI.

Il contesto di questa iniziativa si colloca in un periodo in cui il settore della matematica ha visto un incremento di iniziative per testare l'efficacia delle AI. Molti studiosi, però, si sono lamentati della mancanza di dati concreti su quanto realmente queste tecnologie possano contribuire alla ricerca. I modelli commerciali, spesso utilizzati per benchmarking, si basano su problemi "contratti" o "limitati", che non riflettono la complessità delle sfide reali. Alcuni matematici, come Abouzaid, hanno rifiutato di partecipare a test remunerati da aziende tecnologiche, preferendo un approccio indipendente. La collaborazione tra Hairer e i suoi colleghi nasce proprio da questa volontà di creare un metodo diverso, che miri a valutare non solo le capacità tecniche degli AI, ma anche il loro potenziale per generare idee originali.

L'analisi del progetto "First Proof" rivela un tentativo di rispondere a domande cruciali per il futuro della matematica. I ricercatori hanno sviluppato un esperimento in cui test questioni veramente complesse, tratte da ricerche non pubblicate, per misurare l'efficacia degli AI. Questo approccio, che evita i problemi standardizzati, mira a ridurre l'eccesso di hype circolante intorno al tema e a proteggere la comunità accademica da una percezione distorta. Secondo i partecipanti, il lavoro degli AI è utile come strumento, ma non può sostituire la creatività e l'approccio interdisciplinare necessari per risolvere problemi di ricerca. L'obiettivo è anche prevenire la disillusione di nuovi talenti, che potrebbero sentirsi scoraggiati da una visione eccessivamente ottimistica dell'AI.

La chiusura del dibattito si concentra sui prossimi passi del progetto e sulle sue implicazioni. Il team ha pubblicato i primi test il 7 febbraio, in occasione del "Euler Day", un evento dedicato al matematico Leonhard Euler, il cui lavoro ha influenzato le basi dell'AI moderna. La pubblicazione del "First Proof" rappresenta un primo passo verso un benchmarking più rigoroso, che potrebbe evolversi in una serie di valutazioni successive. I ricercatori sperano che il progetto stimoli un dibattito costruttivo, mettendo in luce sia le potenzialità che i limiti dell'AI. In un mondo in cui la tecnologia sembra accelerare ogni aspetto della vita, il lavoro di Hairer e dei suoi collaboratori cerca di mantenere un equilibrio tra progresso e conservazione del valore intrinseco della matematica. L'idea di un "primo dimostrazione" non è solo un test, ma un invito a riflettere su come l'umanità possa continuare a guidare l'evoluzione del sapere.