Nel mondo della matematica competitiva, le Olimpiadi Internazionali di Matematica (IMO) rappresentano una delle sfide più prestigiose, attirando i migliori giovani matematici da tutto il mondo. Tradizionalmente, questi eventi hanno messo alla prova le capacità analitiche e creative degli studenti, con i medagliati d’oro che sono considerati tra i più brillanti talenti emergenti. Tuttavia, un recente sviluppo ha sfidato questa tradizione: il modello di intelligenza artificiale AlphaGeometry2 di Google DeepMind ha ottenuto risultati superiori a quelli di un medagliato d’oro medio nelle prove di geometria dell’IMO.
AlphaGeometry2 è l’evoluzione del precedente modello AlphaGeometry, progettato per affrontare problemi complessi di geometria. Questa nuova versione ha mostrato un tasso di risoluzione del 84% per tutti i problemi di geometria degli ultimi 25 anni, un miglioramento significativo rispetto al 54% ottenuto dal suo predecessore. Questo progresso è attribuito all’integrazione di un modello linguistico avanzato, Gemini, con un motore simbolico specializzato, permettendo al sistema di affrontare teoremi di locus, equazioni lineari e dichiarazioni non costruttive.
Nella valutazione dei problemi di geometria dell’IMO dal 2000 al 2024, AlphaGeometry2 ha risolto 42 su 50 problemi, superando per la prima volta un medagliato d’oro medio. Questo risultato è stato ottenuto attraverso un processo di formalizzazione automatica, in cui il modello traduce i problemi da linguaggio naturale a un linguaggio formale specifico, facilitando la risoluzione. Nonostante alcuni problemi abbiano richiesto fino a tre giorni per essere risolti, il modello ha dimostrato una notevole efficienza e precisione.
Il successo di AlphaGeometry2 solleva interrogativi significativi sul ruolo dell’intelligenza artificiale nella matematica avanzata. Se da un lato l’IA può accelerare la risoluzione di problemi complessi, dall’altro potrebbe influenzare la formazione e l’approccio degli studenti alla matematica. È essenziale considerare come integrare efficacemente l’IA nell’educazione matematica, garantendo che gli studenti sviluppino una comprensione profonda dei concetti, pur beneficiando degli strumenti avanzati offerti dalla tecnologia.