I modelli di intelligenza artificiale di Google hanno ottenuto nuovi successi vincendo la medaglia d’argento all’International Mathematical Olympiad (IMO).

I modelli AlphaProof e AlphaGeometry 2, basati su Gemini, hanno risolto quattro dei sei problemi dell’IMO di quest’anno, guadagnando una medaglia d’argento, come annunciato oggi dall’azienda in un post sul blog.

L’IMO, attiva dal 1959, sfida i giovani matematici più brillanti del mondo con problemi complessi di algebra, calcolo combinatorio, geometria e teoria dei numeri. Anche i sistemi di intelligenza artificiale sono stati messi alla prova con questi problemi.

I partecipanti umani devono risolvere sei problemi difficili in due sessioni da quattro ore e mezza ciascuna. I sistemi di intelligenza artificiale di Google hanno risolto quattro dei sei problemi, uno in pochi minuti e gli altri in tre giorni.

“AlphaProof ha risolto due problemi di algebra e un problema di teoria dei numeri determinando la risposta e dimostrando che era corretta”,

“Questo includeva il problema più difficile della competizione, risolto da soli cinque concorrenti all’IMO di quest’anno. AlphaGeometry 2 ha dimostrato il problema di geometria, mentre i due problemi di combinatoria sono rimasti irrisolti”.

Gli ex vincitori della medaglia d’oro dell’evento sono rimasti colpiti.

“Il fatto che il programma riesca a elaborare una costruzione non ovvia come questa è davvero impressionante e va ben oltre quello che pensavo fosse lo stato dell’arte”,

Sir Timothy Gowers, ex medaglia d’oro IMO e vincitore della medaglia Fields.

“L’intelligenza artificiale generale con ragionamento matematico avanzato ha il potenziale per aprire nuove frontiere nella scienza e nella tecnologia”,

Google.

Ulteriori informazio