L'intelligenza artificiale di DeepMind ha trovato per la prima volta nella storia una nuova soluzione a un complesso problema matematico

DeepMind ha utilizzato la tecnologia Large Language Model (LLM) per trovare una nuova soluzione al cosiddetto "multiple cover puzzle", uno dei più difficili problemi matematici irrisolti.

Ecco cosa sappiamo

Il problema consiste nel determinare il numero massimo di punti del piano che possono essere collegati da linee in modo che nessun punto si trovi sulla stessa linea. La soluzione del problema è stata cercata per diversi decenni, ma solo per piccoli insiemi di punti.

Il modello di DeepMind, chiamato FunSearch, ha scoperto per la prima volta nuovi progetti per insiemi di grandi dimensioni, ben oltre quanto precedentemente conosciuto. Questa scoperta scientifica è stata resa possibile dalla combinazione del modello linguistico PaLM 2 di Google e di un sistema di fact-checking automatico.

Sebbene LLM non abbia risolto il problema una volta per tutte, ha scoperto nuovi fatti per la scienza, sostengono gli scienziati.

Secondo gli sviluppatori, questa è la prima scoperta confermata in matematica fatta con l'aiuto dell'intelligenza artificiale. Potrebbe iniziare una nuova era nello sviluppo dell'intelligenza artificiale e della matematica.

Fonte: The Next Web