I modelli di intelligenza artificiale potrebbero offrire ai matematici un linguaggio comune

Nessuno si aspettava che la questione di come impilare al meglio delle arance in una cassa potesse mandare in crisi la matematica pura per secoli. E invece il cosiddetto problema del “sphere-packing” ha fatto impazzire generazioni di studiosi. La svolta è arrivata solo nel 1998, quando Thomas Hales, allora all'Università del Michigan, ha annunciato di avere finalmente una prova: la disposizione esagonale, quella in cui ogni sfera si appoggia nell'incavo formato da sei arance del livello sotto, è la configurazione più densa possibile. Tutti pensano che la matematica sia una scienza esatta, ma questa storia mostra che anche una questione apparentemente semplice può rimanere irrisolta per secoli, finché non arriva la persona giusta con l'intuizione giusta. Hales non era uno qualunque: ossessionato dal problema, lavorava giorno e notte con un team sparso in tutto il mondo, tra e-mail infinite, software per la verifica dei calcoli e chilometri di lavagne piene di formule. La sua prova non fu accolta subito: “It took years, and a lot of computer code, before the mathematical community accepted it”, raccontava Hales. E qui entra in gioco un punto che pochi vedono: la matematica non è fatta solo di idee brillanti, ma anche di fatica, collaborazione e, sempre di più, di tecnologia. Negli ultimi anni, l’intelligenza artificiale si è infilata proprio in questa crepa: oggi i modelli di IA sono in grado di verificare dimostrazioni, suggerire nuove strade e, questa è la vera rivoluzione, diventare una sorta di lingua franca tra matematici di scuole e approcci diversi. Un linguaggio fatto non solo di numeri, ma anche di codice. Ora fermati un attimo: non si tratta solo di risolvere i problemi più velocemente. Se l’IA diventasse davvero il ponte tra le scuole matematiche, negli anni a venire potremmo assistere a una collaborazione globale senza precedenti. Tuttavia, esiste un rischio concreto di cui non si parla mai: affidarsi eccessivamente a questi strumenti potrebbe rendere i matematici meno capaci di intuire, di correre rischi, di inventare connessioni fuori dagli schemi – le stesse qualità che hanno permesso a Hales di risolvere il problema delle arance. Ecco la frase che riassume tutto: «Una buona idea rimane sterile se non trova la lingua giusta per essere capita». Se questa storia ti ha fatto guardare la matematica con occhi diversi, su Lara Notes puoi segnalarlo con I'm In: in questo modo la prospettiva diventa parte del tuo modo di ragionare. E se domani ti ritrovi a raccontare il dilemma delle arance a qualcuno, puoi fermare quel momento con Shared Offline: è come dire che quella conversazione conta davvero. Questo era The Economist, e con questa Nota hai risparmiato quasi un minuto rispetto all'articolo originale.