Non sono solo gli atleti a vincere le medaglie: anche l’intelligenza artificiale può gareggiare e portarsi a casa qualche medaglia. Come quella vinta dal sistema a intelligenza artificiale di Google DeepMind, che ha raggiunto un risultato straordinario nelle Olimpiadi Internazionali di Matematica (IMO) presso l’Università di Bath (Regno Unito). Grazie all’implementazione di due modelli AI, AlphaProof e AlphaGeometry 2, questo sistema AI ha dimostrato di essere in grado di competere con alcuni dei migliori giovani matematici al mondo, vincendo però “solo” la medaglia d’argento.
Google DeepMind, l’AI vince l’argento alle Olimpiadi di Matematica
Riferisce l’ANSA, in occasione dell’edizione 2024 delle Olimpiadi di Matematica, Google DeepMind ha voluto sbaragliare la concorrenza umana presentando un sistema a intelligenza artificiale che, in pochi minuti, è riuscito a risolvere problemi per i quali i migliori studenti ci mettono giorni interi.
Dicono gli sviluppatori di Google DeepMind:
“Si tratta di un grande passo avanti nel campo dell’intelligenza artificiale e dell’apprendimento automatico. Finora i sistemi di intelligenza artificiale faticavano a risolvere problemi di matematica generale, a causa delle limitazioni nelle capacità di ragionamento e nei dati di addestramento”.
Va detto però che, facendo un totale di 28 punti su 42, è riuscita a portarsi a casa “solo” l’argento. Per via di un solo punto non ha ottenuto l’oro, rispondendo soltanto a quattro dei sei problemi proposti, tra cui quello più difficile della competizione.
Complici di questo “insuccesso” sono i tempi di risoluzione. Mentre alcuni problemi hanno richiesto pochi minuti per essere risolti, per altri sono serviti quasi tre giorni. Questo è in netto contrasto con i tempi concessi ai concorrenti umani, che hanno soltanto nove ore totali per risolvere i problemi.
Per saperne di più: Intelligenza artificiale: cos’è e come funziona, tutto sulla AI
Come funzionano AlphaProof e AlphaGeometry 2
Come già anticipato, questo sistema AI è frutto dell’unione di due modelli a intelligenza artificiale, AlphaProof e AlphaGeometry 2, ciascuno specializzato in differenti rami della matematica.
- AlphaProof si occupa di problemi di algebra e teoria dei numeri, utilizzando un linguaggio formale per scrivere dimostrazioni matematiche verificabili, così da migliorare le proprie capacità attraverso l’apprendimento automatico.
- AlphaGeometry 2 è stato progettato per risolvere problemi di geometria, utilizzando metodi creativi che hanno sorpreso persino gli esperti umani.
Durante le Olimpiadi di Matematica, AlphaProof e AlphaGeometry 2 hanno adottato approcci diversi per affrontare i problemi matematici.
Sfruttando il linguaggio formale, AlphaProof si è concentrato risolvendo su due problemi di algebra e un problema di teoria dei numeri, diventando anche uno dei pochi concorrenti ad aver risolto il problema più difficile della competizione.
AlphaGeometry 2, invece, ha mostrato una notevole capacità di risoluzione rapida e creativa, risolvendo un problema di geometria in appena 16 secondi, anche se i due problemi di calcolo combinatorio sono rimasti irrisolti.
