Gli umani battono l'intelligenza artificiale alla 66a Olimpiade Internazionale della Matematica

▲ Immagine realizzata con Meta AI

Monica Mateos

La Jornada, giovedì 24 luglio 2025, pag. 6

Dopo aver appreso la notizia che i modelli di intelligenza artificiale (IA) di OpenAI e Google DeepMind hanno ottenuto risultati degni di una medaglia d'oro alla 66a Olimpiade Internazionale della Matematica (IMO) tenutasi in Australia, la comunità matematica mondiale ha immediatamente replicato: sì, ma gli esseri umani hanno battuto l'IA, i giovani studenti pre-universitari che hanno ancora molto da dare al futuro .

Nessuna delle modelle ha ottenuto il punteggio massimo di 42, ottenuto da cinque studenti provenienti da Cina, Canada, Giappone e Russia nella prestigiosa competizione annuale, a cui possono partecipare solo persone di età inferiore ai 20 anni.

Non solo: i giganti dell'informatica hanno dichiarato che le loro IA hanno ottenuto 35 punti. Tuttavia, all'IMO di quest'anno, senza contare i cinque esami con il massimo dei voti, 21 studenti pre-universitari provenienti da Cina, Stati Uniti, Vietnam, India, Corea, Russia, Austria, Canada, Slovacchia, Hong Kong, Israele, Italia e Mongolia hanno superato il cyberscore.

Un altro dato statistico a favore degli esseri umani: 46 concorrenti hanno raggiunto i 35 punti dichiarati da OpenAI e Google (tra cui i peruviani Renato Gaitán e Sebastián Lozada, gli unici latinoamericani in quella classifica ); e 61 studenti hanno affrontato il problema numero sei, che i modelli informatici non sono riusciti a risolvere.

Secondo quanto riportato dall'AFP, gli organizzatori dell'IMO hanno fatto presente di non essere stati in grado di verificare quanta potenza di calcolo fosse utilizzata dai modelli di intelligenza artificiale o se fosse coinvolta la partecipazione umana.

Per il Messico, due studenti hanno vinto la medaglia d'argento con 28 punti ciascuno: Takumi Higashida Martínez di Città del Messico ed Emmanuel Buenrostro Briseño di Jalisco; mentre la medaglia di bronzo è andata a Héctor Juan Villarreal Corona (27 punti) e Mateo Iván Latapí Acosta di Jalisco, così come a Iker Torres Terrazas di Chihuahua (entrambi con 24 punti) e a Javier Caram Quirós, anch'egli di Città del Messico, con 22 punti.

Oltre alle Olimpiadi e alle medaglie, i matematici scommettono che arriveranno cose davvero grandiose quando i modelli di intelligenza artificiale li aiuteranno a risolvere problemi molto complessi (e, finora, impossibili) che richiedono milioni di passaggi e procedure.

Alcuni esperti sostengono addirittura che potremmo essere vicini a risolvere i leggendari Problemi del Millennio posti nel 2000 dal Clay Mathematics Institute di Cambridge, Massachusetts, Stati Uniti (CMI), che offrivano una ricompensa di un milione di dollari a chiunque li risolvesse.

I sette problemi scelti, considerati dal CMI importanti questioni classiche che non sono state risolte da anni , sono: P vs NP, che chiede se esistano problemi che possono essere verificati rapidamente (in tempo polinomiale) e che possono anche essere risolti in anticipo; la congettura di Hodge, un profondo problema sulla struttura di certi oggetti geometrici chiamati varietà algebriche complesse; la congettura di Poincaré, che dimostra che la sfera tridimensionale è l'unica varietà compatta semplicemente connessa; l'ipotesi di Riemann, un problema centrale nella teoria dei numeri che coinvolge la distribuzione dei numeri primi; le equazioni di Navier-Stokes, che stabiliscono l'esistenza e la regolarità delle soluzioni a queste equazioni che descrivono il moto dei fluidi; la congettura di Birch-Swinnerton-Dyer, che mette in relazione la struttura algebrica di certe curve ellittiche con proprietà analitiche; e il gap di massa , un problema nella fisica quantistica che coinvolge l'esistenza di un gap di massa nella teoria di Yang-Mills.

Nel 2002, la congettura di Poincaré fu risolta dal matematico russo Grigory Perelman (San Pietroburgo, 1966), e approvata nel 2010 dall'IMC. Per questo risultato, gli fu conferita anche la Medaglia Fields, considerata il Premio Nobel della matematica. Perelman rifiutò entrambi i premi, affermando di non voler essere esposto come un animale in uno zoo. "Non sono un eroe della matematica. Non ho nemmeno raggiunto quel successo. Ecco perché non voglio che tutti mi guardino ". Nel 1982, con la squadra sovietica, vinse la medaglia d'oro agli IMO di Budapest, con un punteggio perfetto di 42 punti, medaglia che accettò.

Nell'ottobre 2024, l'azienda di Mark Zuckerberg, Meta, ha annunciato che la sua intelligenza artificiale aveva svelato le funzioni di Lyapunov, un problema matematico che ha disorientato gli esperti per oltre 130 anni e che offre strumenti fondamentali per analizzare la stabilità dei sistemi dinamici.

In questo senso, l'intelligenza artificiale sarà benvenuta per migliorare la ricerca in un settore in cui il ragionamento e la creatività rimarranno in gran parte umani, concorda la comunità matematica.