L'AI risolve ciò che gli umani non potevano
Un modello di intelligenza artificiale ha risolto un problema geometrico vecchio di 80 anni posto dal leggendario matematico ungherese Paul Erdős, sbalordendo il mondo della matematica. Il problema di Erdős, uno dei circa 1.200 enigmi irrisolti lasciati da Erdős, aveva resistito a tutti i tentativi umani di soluzione dagli anni '40. I ricercatori hanno scoperto che l'AI ha trovato una disposizione più complessa di punti accoppiati - una che i matematici umani non avevano mai immaginato - producendo un tasso di crescita maggiore di quanto consentito dagli approcci convenzionali.
I matematici chiedono protezioni
La svolta ha suscitato sia entusiasmo che preoccupazione. «Questo è ciò che l'AI ha trovato, come ce lo siamo persi e perché è importante», ha scritto il Wall Street Journal. Ma la comunità matematica invita anche alla cautela. La Dichiarazione di Leida, firmata da importanti matematici, chiede una supervisione sull'uso dell'AI nella ricerca matematica, avvertendo che un'eccessiva dipendenza dall'AI potrebbe minare la creatività umana alla base della scoperta matematica.
Una nuova era per l'AI nella scienza
Scientific American ha definito il risultato «il più grande successo della matematica dell'AI finora». La soluzione dimostra che l'AI può ora contribuire a autentiche scoperte matematiche, non solo al calcolo. Mentre alcuni celebrano questo come uno strumento per accelerare la ricerca, altri temono che possa cambiare la natura stessa della prova matematica. Il dibattito riflette conversazioni più ampie in tutta la scienza su dove tracciare il confine tra assistenza dell'AI e scoperta guidata dall'uomo.