La matematica generata dall'AI ha un problema umano

A cura di Hannah Press

I progressi nella matematica dell'AI hanno raggiunto un altro benchmark, con OpenAI che ha pubblicato più di 700 manoscritti da un modello non pubblicato pochi giorni dopo che Meta ha condiviso diversi articoli scritti da matematici con il suo modello Muse Spark.

Perché è importante: l'AI sta producendo ricerche matematiche più velocemente di quanto gli esseri umani possano leggerle. Le conversazioni precedenti ruotavano attorno agli esseri umani che guidano l'AI e a ciò che perdiamo quando si muove troppo velocemente. L'ultimo calcolo da risolvere va ben oltre il mondo delle dimostrazioni e dei teoremi: cosa succede se non riuscissimo più a stare al passo?

In testa alle notizie: i manoscritti matematici di OpenAI coprono 372 famiglie di risultati, ognuna delle quali, secondo l'azienda, risolve o compie progressi sostanziali su un problema aperto di matematica o informatica teorica. Molte delle dimostrazioni sono state verificate da software alla ricerca di errori logici. Altri non sono state sottoposte a questo controllo, e OpenAI riconosce che potrebbero contenere errori.

Cosa dicono gli esperti: nell'episodio di questa settimana di Mixture of Experts, il panel ha dibattuto cosa significhino questi ultimi progressi nella matematica generata dall'AI per le persone che devono dare un senso a tutto questo. IBM

Il collega Kush Varshney ha detto che la matematica è molto più delle frazioni e delle moltiplicazioni che la maggior parte di noi ha imparato a scuola. "È il processo mentale che entra in un mondo definito da assiomi e postulati, e che è in grado di dimostrare senza ombra di dubbio che alcune proprietà sono valide", ha detto. "È un percorso di comprensione."

Skyler Speakman, Senior Research Scientist presso IBM, ha sottolineato che l'attenzione umana ha dei limiti. "Siamo tutti esseri limitati", ha detto. "È forse l'inizio di un circolo vizioso in cui gli esseri umani si ritrovano a dover selezionare i contenuti generati dall'AI? L'abbiamo visto accadere altrove, ma prenderà davvero piede nel campo della matematica?"

Tra le righe: se l'AI si occupa di trovare le risposte, gli esseri umani hanno la responsabilità di dar loro un senso. Varshney ha citato un recente articolo di Quanta Magazine che sollevava l'idea che i matematici possano diventare interpreti. "Non saranno gli esseri umani a fare i calcoli, ma li interpreteranno, li comprenderanno per il resto dell'umanità", ha affermato.

Il rovescio della medaglia: Utsav Dholakia, Forward Deployed Engineer presso IBM, sostiene che il fatto che gli umani rimangano indietro potrebbe non essere una perdita così terribile. "Sarebbe davvero così grave se esistesse un altro strumento, un altro tipo di essere virtuale intelligente, in grado di aiutarci a scoprire alcuni aspetti fondamentali del mondo che ci circonda?" ha chiesto. "Forse il nostro cervello non è nemmeno concepito per pensare oltre le tre o quattro dimensioni."

Cosa aspettarsi: finora, l'AI affronta da decenni le domande che i matematici si pongono. Speakman ha posto la prossima grande domanda: "Quando sarà l'AI a porre il nuovo, grande quesito matematico?"

Segui l'episodio completo di Mixture of Experts su YouTube, Spotify o Apple Podcasts.