Come cambia la scienza quando l’intelligenza artificiale inizia a “ragionare”, dimostrare teoremi e risolvere problemi aperti?
In questa puntata di umAnI ne parliamo con Leopoldo Sarra, ricercatore in AI ed esperto nello sviluppo di agenti per il ragionamento scientifico verificabile. Fisico teorico di formazione, dopo essersi laureato lavorando con il Premio Nobel Giorgio Parisi, ha svolto un PhD al Max Planck Institute in Germania, prima di diventare ricercatore al Flatiron Institute di New York e approdare poi ad Axiomatic AI come Head of AI Research.
Partendo dai recenti progressi in matematica (ad esempio gli ultimi annunci di OpenAI di aver risolto una serie di problemi aperti da decenni), discutiamo di grandi modelli di linguaggio, formalizzazione e dimostrazione automatica di teoremi, e di come questi strumenti stiano trasformando il modo stesso di fare ricerca e il ruolo degli scienziati, sempre più portati a collaborare con sistemi artificiali intelligenti.
Se in futuro una parte sempre maggiore dell'elaborazione di soluzioni a grandi problemi potrà essere automatizzata, acquisiranno ancora più valore nuove prospettive nella ricerca: capire perché un risultato è vero, interpretarlo, spiegarlo e collegarlo a nuove idee. Perché, in fondo, la scienza non consiste soltanto nel trovare risposte, ma nel riuscire a comprenderle e nel porsi nuove domande. Ed è proprio questo che ci piace!
"umAnI" è un podcast dedicato a raccontare e ascoltare storie... che è ciò che ci rende umani.
Ideato e condotto da Michele Ginolfi, con la collaborazione di Giovanna Pacini (Università degli Studi di Firenze, Dipartimento di Fisica e Astronomia)
Sigla iniziale: Jonathan Ginolfi