L’annuncio diffuso il 19 luglio da Alexander Wei su X ha attirato l’attenzione della comunità matematica internazionale: il nuovo modello sperimentale di intelligenza artificiale di OpenAI ha ottenuto un punteggio da medaglia d’oro all’International Math Olympiad 2025, risolvendo cinque dei sei problemi e totalizzando 35 punti su 42, la soglia che ogni anno decreta i vincitori più brillanti. Il risultato è stato certificato attraverso la correzione indipendente di tre ex medagliati, riuniti in commissione anonima per garantire imparzialità.
Il traguardo assume rilievo perché l’IMO impone un orizzonte di ragionamento superiore a qualunque benchmark precedente: sei quesiti da affrontare in due sessioni di quattro ore e mezza, senza strumenti esterni e con la necessità di redigere prove discorsive impeccabili. I ricercatori di OpenAI sottolineano che, lungo la traiettoria storica dei test di difficoltà progressiva (GSM8K, MATH, AIME), emergono ora capacità di concentrazione prolungata e costruzione di argomentazioni che finora erano patrimonio esclusivo dei migliori olimpionici umani.
La procedura di valutazione seguita dal team imita in tutto la gara ufficiale: lettura delle tracce originali, nessun accesso a internet, generazione di soluzioni in linguaggio naturale e revisione manuale. Secondo Wei, questa modalità dimostra che l’architettura non si affida a trucchi di ricerca, ma a una catena di ragionamenti sviluppata in tempo reale. Al centro c’è un approccio di reinforcement learning generalista che, in combinazione con un aumento del calcolo in fase di inferenza, ha permesso di superare limiti finora ritenuti strutturali.
Il Problema 1 dell’IMO 2025 chiedeva di determinare quanti valori possibili può assumere k, il numero di “linee soleggiate” in una famiglia di n rette che coprono tutti i punti interi positivi con somma delle coordinate non maggiore di n+1. Il modello di OpenAI ha risolto il quesito dimostrando che i soli valori ammissibili sono k = 0, 1, 3, attraverso un’analisi strutturata per casi e una costruzione induttiva, validata dai valutatori.
L’eco mediatico è stata immediata. Testate generaliste hanno parlato di “svolta” nella competizione tra uomo e macchina, mentre commentatori tecnici ricordano che la stessa impresa, soltanto quattro anni fa, sembrava fuori portata per qualunque sistema generativo. La prestazione merita attenzione anche per la distanza coperta in un intervallo di tempo ridotto, proiettando le ambizioni di ricerca verso problemi ancor più aperti dell’analisi contemporanea.
OpenAI precisa che il modello non verrà distribuito al pubblico nell’immediato: è destinato a un programma di studio interno sulle capacità di ragionamento avanzato. Al tempo stesso, la società conferma il prossimo lancio di GPT‑5, chiarendo che l’algoritmo olimpico rimarrà per ora un prototipo. Questo duplice binario – rilascio commerciale delle versioni stabili e sperimentazione spinta su terreni d’avanguardia – disegna una strategia di sviluppo che punta a consolidare applicazioni pratiche mentre si esplorano frontiere sempre più complesse.
Per la comunità matematica, il risultato offre nuovi strumenti di confronto: le dimostrazioni generate possono diventare materiale di studio, confronto stilistico e verifica automatica, oltre a stimolare la creazione di problemi inediti più sfidanti. In ambito editoriale digitale, simili testi aprono la strada a raccolte interattive di soluzioni, commenti line‑by‑line e ambienti dove studenti e docenti possano osservare in tempo reale come un sistema di intelligenza artificiale costruisce un’idea, la verifica e la raffina.
Resta da capire fino a che punto un motore di questo tipo potrà estendere la propria azione a congetture aperte, dove manca un criterio binario di correttezza. Per il momento, però, l’aver raggiunto la soglia simbolica della medaglia d’oro olimpica indica che la generazione automatica di ragionamenti accurati non è più un traguardo teorico ma una capacità concreta, su cui si innesteranno nuove forme di collaborazione tra ricercatori, industrie del sapere e piattaforme di pubblicazione avanzata.
Verso un’intelligenza matematica artificiale: modelli, metodi, benchmark
