Google DeepMind ha utilizzato un grande modello di linguaggio per risolvere un problema matematico insolubile.
Google DeepMind utilizza un potente modello di linguaggio per risolvere un problema matematico senza soluzione.
Google DeepMind ha utilizzato un grande modello linguistico per risolvere un famoso problema irrisolto nella matematica pura. In un articolo pubblicato su Nature oggi, i ricercatori affermano che è la prima volta che un grande modello linguistico viene utilizzato per scoprire una soluzione a un problema scientifico da lungo tempo irrisolto, producendo informazioni nuove, verificabili e preziose che prima non esistevano. “Non è nei dati di addestramento, nemmeno era noto”, dice il coautore Pushmeet Kohli, vice presidente della ricerca presso Google DeepMind.
I grandi modelli linguistici hanno la reputazione di inventare cose, non di fornire nuovi fatti. Il nuovo strumento di Google DeepMind, chiamato FunSearch, potrebbe cambiare questo. Mostra che effettivamente possono fare scoperte, se sono stimolati in modo adeguato e se si scartano la maggior parte delle idee che producono.
FunSearch (così chiamato perché cerca funzioni matematiche, non perché è divertente) continua una serie di scoperte nella matematica fondamentale e nell’informatica effettuate da DeepMind utilizzando l’IA. Prima AlphaTensor ha trovato un modo per velocizzare un calcolo che è essenziale per molti tipi di codice diversi, superando un record di 50 anni. Poi AlphaDev ha trovato modi per far funzionare più velocemente algoritmi chiave utilizzati miliardi di volte al giorno.
Dal MIT Technology Review Visualizza l’articolo completo
