L’intelligenza artificiale ha raggiunto un nuovo traguardo nell’Olimpiade Internazionale di Matematica (IMO) di quest’anno. I modelli di IA, AlphaProof e AlphaGeometry 2, sviluppati utilizzando tecniche di apprendimento per rinforzo, hanno risolto quattro dei sei problemi proposti, raggiungendo il livello di una medaglia d’argento. Questo risultato è significativo, considerando che la competizione IMO è la più prestigiosa e difficile per i giovani matematici, e rappresenta una sfida ambiziosa anche per i sistemi di intelligenza artificiale.
AlphaProof ha risolto problemi di algebra e teoria dei numeri, compreso il problema più difficile della competizione, mentre AlphaGeometry 2 ha risolto un problema di geometria. Tuttavia, due problemi di combinatoria sono rimasti irrisolti. Il sistema combinato ha ottenuto un punteggio totale di 28 punti su 42, appena un punto sotto la soglia per la medaglia d’oro.
I problemi dell’IMO sono stati tradotti manualmente in linguaggio matematico formale per permettere ai sistemi di IA di elaborarli. Una volta ricevuti, AlphaProof ha generato e verificato soluzioni utilizzando il linguaggio formale Lean, rafforzando il suo modello di linguaggio ad ogni prova riuscita. AlphaGeometry 2, una versione migliorata del suo predecessore, ha mostrato una velocità di risoluzione notevolmente superiore grazie a un motore simbolico avanzato e a una grande quantità di dati sintetici di addestramento.
Il successo di AlphaProof e AlphaGeometry 2 apre nuove possibilità nel campo della ricerca matematica e scientifica, mostrando il potenziale dell’intelligenza artificiale nell’assistere i matematici nel risolvere problemi complessi. Il futuro potrebbe vedere una collaborazione sempre più stretta tra matematici e strumenti di IA, accelerando le scoperte e risolvendo problemi di lunga data con nuove strategie innovative.
