L'intelligenza artificiale di OpenAI vince l'oro alle Olimpiadi della matematica del 2025

La storia è stata riscritta lo scorso fine settimana in Australia, sede della 66a Olimpiade Internazionale della Matematica (IMO). Ma questa volta non è stato un adolescente prodigio a rubare la scena, bensì un modello sperimentale di OpenAI che si è aggiudicato la medaglia d'oro , risolvendo cinque dei sei complessi problemi posti dalla competizione pre-universitaria più impegnativa al mondo.

L'annuncio è stato dato dal ricercatore Alexander Wei tramite il suo account X (ex Twitter), suscitando sorpresa e dibattito. "Valutiamo i nostri modelli con le stesse regole dei concorrenti umani: niente strumenti, niente internet, solo carta, penna e ragionamento", ha spiegato.

L'IMO è considerato l'apice del pensiero logico e creativo in matematica. Il fatto che un'IA abbia raggiunto prestazioni equivalenti a quelle dei migliori esseri umani del pianeta non è solo un aneddoto: segna una svolta nello sviluppo dei grandi modelli linguistici (LLM).

Questi modelli, addestrati su enormi quantità di testo, hanno dimostrato capacità di scrittura, traduzione e risoluzione di problemi. Ma il ragionamento matematico astratto è stato, fino ad ora, una frontiera poco esplorata.

Alexander Wei ha sottolineato: "I problemi IMO richiedono un pensiero creativo costante. Questo dimostra che possiamo andare oltre il paradigma delle ricompense chiare e arrivare a strutture logiche complesse che ricordano la mente umana".

Le risposte del modello sono state valutate da tre ex medagliati IMO, che ne hanno convalidato il ragionamento per consenso. Il modello ha ottenuto 35 punti su 42 , il punteggio richiesto per l'oro.

Questa svolta arriva poco dopo che la sussidiaria di Google, DeepMind, si è aggiudicata una semplice medaglia d'argento nella stessa competizione con i suoi modelli AlphaProof e AlphaGeometry. Molti nella comunità scientifica ritenevano che fossimo ancora lontani dal raggiungere i massimi livelli di prestazioni dell'IA... almeno fino ad ora.

Tuttavia, voci critiche come quella del professore dell'UCLA Ernest Ryu hanno sottolineato che risolvere problemi noti è una cosa, ma la vera matematica inventa l'ignoto . "Non credo che l'intelligenza artificiale sostituirà i matematici tanto presto", ha affermato, "ma sarà un potente strumento per aumentare la loro produttività".

Uno dei problemi più impegnativi di quest'anno è stata la calcolo combinatorio , un'area in cui non esistono formule fisse e il pensiero creativo è fondamentale. Il modello di OpenAI è riuscito ad affrontare anche questa sfida, sorprendendo persino gli ex atleti olimpici che hanno contribuito ad addestrare l'IA.

"Non si può trasformare la combinatoria in algebra come in altri campi. Bisogna inventare, e l'intelligenza artificiale lo ha fatto", ha spiegato un membro del team.

Sebbene molti si aspettassero che questo risultato fosse parte integrante del prossimo ChatGPT-5 , Alexander Wei ha chiarito che il modello olimpico è sperimentale e il suo rilascio non è previsto a breve termine. "Vogliamo prima capire come è arrivato fin qui", ha osservato.

L'oro ottenuto non rappresenta una minaccia immediata, ma rappresenta un segnale forte che la conoscenza umana sta entrando in una nuova era di collaborazione con l'intelligenza artificiale.