DeepMind, società controllata da Google, ha introdotto un innovativo modello linguistico di grandi dimensioni (LLM) chiamato “FunSearch”, che sta rivoluzionando il campo della matematica.
A differenza dei tradizionali modelli di intelligenza artificiale, che a volte generano risultati imprecisi o fittizi, FunSearch è specializzato nel trovare soluzioni precise a problemi matematici complessi, spesso rivelando soluzioni del tutto nuove mai ideate prima dall’uomo.
FunSearch: un prodigio matematico pionieristico
FunSearch, così chiamato perché si concentra sulle funzioni matematiche piuttosto che sull’intrattenimento, sta definendo nuovi standard nel settore matematico guidato dall’intelligenza artificiale. Il cuore di questo modello rivoluzionario è un’architettura a due livelli.
Il primo strato è una variante del PaLM 2 di Google chiamata “Codey“, un modello linguistico di grandi dimensioni. Il secondo strato agisce come un meccanismo di controllo degli errori, analizzando meticolosamente l’output di Codey ed eliminando le informazioni errate.
Il team di ricerca DeepMind alla guida di questo eccezionale progetto ha intrapreso un viaggio all’insegna dell’incertezza, non sapendo se questo approccio avrebbe prodotto risultati degni di nota. Ancora oggi, secondo il ricercatore di DeepMind Alhussein Fawzi, i meccanismi alla base delle straordinarie capacità di FunSearch rimangono misteriosi.
Risolvere il problema matematico del gioco dei tappi
Uno dei principali rompicapo matematici affrontati da FunSearch è il famoso “problema dei due tappi”. Questo rompicapo ha lasciato perplessi i matematici per anni, soprattutto a causa della mancanza di consenso sull’approccio migliore per risolverlo.
Tuttavia, FunSearch ha superato questa sfida generando soluzioni completamente nuove e, soprattutto, accurate al problema dei massimali fissi, soluzioni precedentemente irraggiungibili attraverso lo sforzo umano. DeepMind ha permesso a FunSearch di funzionare per diversi giorni, durante i quali ha prodotto milioni di potenziali soluzioni.
Questo tempo di esecuzione prolungato ha permesso al sistema di perfezionare il suo codice e di generare risultati sempre migliori. I risultati di questa ricerca evidenziano la capacità di FunSearch di produrre soluzioni precedentemente sconosciute, ma matematicamente valide, al rompicapo.
FunSearch aiuta i matematici a risolvere problemi difficili
Sebbene l’integrazione di modelli linguistici di grandi dimensioni (LLM) nel campo della matematica continui a presentare delle sfide, FunSearch di DeepMind offre una strada promettente.
Mentre i matematici sono alle prese con il mutevole panorama della tecnologia LLM, l’ultima innovazione di DeepMind offre un barlume di speranza e potenziali soluzioni a enigmi matematici di lunga data. L’approccio unico di FunSearch e la sua capacità di fornire soluzioni nuove e verificate potrebbero rimodellare il modo in cui i matematici affrontano i problemi complessi.
Ti potrebbe interessare
19 dic 2023