L'intelligenza artificiale continua a spingersi oltre i confini della creatività e della logica, ma non sempre riesce a centrare obiettivi storici come la dimostrazione dell'ipotesi di Riemann, uno dei problemi irrisolti più celebri della matematica. È quanto emerso da un episodio che ha visto protagonista Claude, il modello linguistico sviluppato da Anthropic, il quale, pur non riuscendo a dimostrare l'ipotesi, ha prodotto un risultato parziale che ha attirato l'attenzione della comunità scientifica.
Secondo quanto riportato, una versione sperimentale di Claude era stata impiegata nel tentativo di affrontare l'ipotesi di Riemann, un problema che riguarda la distribuzione dei numeri primi e che vale un milione di dollari per chi lo risolve. L'IA non è riuscita nell'impresa principale, ma nel suo percorso ha generato una dimostrazione di un teorema correlato. La cosa curiosa è che tale dimostrazione, sebbene non richiesta, si è rivelata corretta e ha incuriosito i matematici.
Il contributo di Youness Lamzouri
Il matematico Youness Lamzouri, dell'Università della Lorena, ha esaminato il risultato ottenuto da Claude e ne ha tratto spunto per sviluppare una prova più breve ed elegante dello stesso teorema. La sua versione semplificata è stata presentata alla comunità scientifica, dimostrando come l'output di un'IA possa talvolta servire da scintilla per ulteriori progressi umani, anche quando l'obiettivo iniziale non viene raggiunto.
Questo episodio non è isolato: sempre più spesso i modelli di linguaggio vengono utilizzati come assistenti alla ricerca matematica, ad esempio per esplorare congetture, verificare passaggi algebrici o suggerire strategie dimostrative. Tuttavia, la loro tendenza a generare affermazioni plausibili ma errate – le cosiddette 'allucinazioni' – rende necessario un attento controllo umano. Nel caso di Claude, il risultato collaterale si è rivelato valido, ma ciò non garantisce che accada sempre.
Prospettive future
L'episodio evidenzia il potenziale e i limiti dell'IA nella matematica avanzata. Da un lato, strumenti come Claude possono accelerare l'esplorazione di vaste aree problematiche, suggerendo connessioni inaspettate; dall'altro, la loro mancanza di comprensione profonda li rende inaffidabili per dimostrazioni definitive. La collaborazione tra intelligenza artificiale e matematici umani sembra quindi la strada più promettente: l'IA come generatore di ipotesi e il ricercatore come verificatore e raffinatore.
In definitiva, il fallimento di Claude sull'ipotesi di Riemann non è una sconfitta, ma un esempio di come anche i tentativi infruttuosi possano portare a scoperte inattese. La matematica, del resto, procede spesso per strade tortuose, e l'IA si sta ritagliando un ruolo sempre più interessante come compagna di viaggio, pronta a stupire – e a farsi correggere – lungo il cammino.
