L’IA di OpenAI ha scoperto nuovi risultati matematici verificabili formalmente col linguaggio LEAN. Ogni risultato ha richiesto mediamente poche ore di calcolo e apre prospettive per ricerca e innovazione. Per Europa e Italia è un’opportunità, ma servono più investimenti e meno burocrazia per non restare indietro.