Jacob Tsimerman, 38 anni, è convinto che l’intelligenza artificiale supererà presto i matematici in carne e ossa e potrà accelerare il progresso della disciplina di un fattore 100. Per questo ha scelto di unirsi a OpenAI, con un incarico focalizzato sulla sicurezza dei sistemi.
Punti chiave
- Tsimerman prevede che i sistemi di IA supereranno gli umani nella matematica di ricerca, costringendo la disciplina a ripensare i propri metodi.
- Prenderà un congedo dall’Università di Toronto, mantenendo però la cattedra.
- In OpenAI si dedicherà ai temi di safety, non allo sviluppo delle capacità dei modelli.
Perché Jacob Tsimerman passa a OpenAI
In un’intervista pubblicata venerdì, il teorico dei numeri dell’University of Toronto ha descritto una svolta maturata negli ultimi mesi. Prima sono caduti i problemi da gara per studenti delle superiori, ha spiegato; poi, nel giro di pochi mesi, sono arrivati i risultati a livello di ricerca. Modelli che fino a poco tempo fa inciampavano su quesiti elementari oggi producono dimostrazioni di cui un matematico professionista sarebbe fiero e che avrebbe puntato a pubblicare.
Se questa traiettoria sarà confermata, Tsimerman si aspetta che l’IA diventi in modo stabile superiore agli umani nel lavoro matematico così come è praticato oggi. A quel punto, sostiene, la comunità dovrà ripensare in profondità il funzionamento dell’intero ecosistema della matematica.
Il matematico ha annunciato la scelta il 23 luglio, poche ore dopo che l’Unione Matematica Internazionale lo aveva nominato uno dei quattro vincitori della Medaglia Fields di quest’anno per il suo contributo alla congettura di André–Oort. Il prestigioso riconoscimento, assegnato ogni quattro anni a studiosi sotto i 40 anni, è stato attribuito anche a Hong Wang, Yu Deng e John Pardon. Tsimerman prenderà un congedo dal dipartimento di Toronto ma manterrà la posizione di professore, e ammette di non avere piani definitivi oltre i prossimi dodici mesi.
Da leggere anche: Gli ETF su Bitcoin assorbono 233,1 milioni di dollari: un singolo fondo fa la parte del leone
Terence Tao avverte: “Crisi” alle fondamenta della matematica
Terence Tao ha spiegato allo stesso congresso, tenutosi a Philadelphia lo scorso weekend, che la matematica sta entrando in una fase turbolenta, che ha descritto come una crisi delle sue fondamenta e dei suoi valori operativi.
Tao ha richiamato un esperimento condotto a maggio, in cui modelli di frontiera hanno risolto sette problemi inediti su dieci a livello di ricerca; le dimostrazioni sono state revisionate da esperti, giudicate corrette e meritevoli di pubblicazione. Tsimerman vede in questa svolta un potenziale enorme: un legame più stretto tra matematica pura e applicazioni industriali potrebbe comprimere tempi di lavoro storicamente lunghissimi, moltiplicando la produzione di matematica “utile” anche di cento volte.
Tsimerman punta sulla sicurezza dell’IA
Il mandato che avrà in OpenAI sarà focalizzato sulla sicurezza, non sull’aumento delle capacità. Secondo Tsimerman, le performance dei modelli stanno migliorando rapidamente anche senza il suo contributo diretto, mentre sul fronte safety resta molto lavoro da fare e la squadra globale è ancora esigua.
La sua attenzione al rischio non è nuova. Lo scorso anno ha firmato un rapporto insieme ad Andrew Critch che classificava i possibili scenari di estinzione dell’umanità indotti dall’IA in cinque categorie, organizzate in base a chi – se qualcuno – se ne potrebbe ritenere responsabile.
In questi giorni Tsimerman ha anche salutato con favore una lettera aperta firmata da oltre 1.000 dipendenti di OpenAI, Anthropic, Google e Meta, tra cui l’amministratore delegato di Anthropic Dario Amodei, che hanno chiesto a Washington di sostenere uno sforzo internazionale per regolamentare i tempi e i ritmi di sviluppo dell’IA di frontiera.
Prossimo articolo: I trader di Polymarket danno a Spider-Man il 91% di probabilità di un debutto da record