Ha mantenuto la promessa, il modello di intelligenza artificiale messo a punto da Google DeepMind:
annunciato nel luglio 2024
come in grado di conquistare una
medaglia d’argento
alle
Olimpiadi Internazionali di Matematica
, il modello AlphaProof ha dimostrato di poter raggiungere l’obiettivo e viene adesso
presentato
anche sulla rivista Nature dalla stessa azienda, in un articolo che ha come primo autore Thomas Hubert, uno dei progettisti del modello AlphaProof.
Alle Olimpiadi di Matematica del 2024, che si sono tenute nel Regno Unito, all’Università di Bath, “il nostro sistema di intelligenza artificiale ha risolto tre dei cinque problemi non geometrici, incluso il problema più difficile della competizione”, scrivono gli autori della ricerca. “Questa prestazione, ottenuta con un calcolo di più giorni, ha portato al raggiungimento di un punteggio equivalente a quello di un vincitore della medaglia d'argento”, aggiungono. “Per la
prima volta
un
sistema di intelligenza artificiale
ha raggiunto prestazioni al livello di aggiudicarsi una medaglia. Il nostro lavoro – proseguono i ricercatori - dimostra che l'apprendimento su larga scala dall'esperienza concreta produce agenti con strategie di ragionamento matematico complesse e apre la strada a uno strumento di intelligenza artificiale affidabile nella soluzione di problemi matematici complessi”.
L’obiettivo, proseguono, è mettere a diposizione della ricerca in matematica strumenti che permettano di accelerare, almeno parzialmente, il lavoro per risolvere problemi complessi e dimostrare teorie.
Finora la
difficoltà maggiore
è stata legata all’
addestramento dei modelli
di Ia, che apprendevano solo su test informali scritti nel linguaggio naturale. La ricerca pubblicata su Nature dimostra che l’apprendimento può essere integrato con un software di matematica formale, chiamato Lean. Il sistema è stato poi addestrato con 80 milioni di enunciati e si è dimostrato capace dii trovare dimostrazioni per teorie matematiche complesse.
C'è comunque
ancora tanto lavoro da fare
perché il modello mostra di avere ancora alcune limitazioni nella soluzione di altri tipi di problemi complessi. La prossima sfida, dicono i ricercatori, è “affrontare queste limitazioni” e questo “aprirà la strada ad AlphaProof per diventare uno strumento prezioso nella risoluzione di problemi matematici complessi”.
© RIPRODUZIONE RISERVATA
