En un hito significativo para la inteligencia artificial, tanto OpenAI como Google DeepMind han demostrado un razonamiento matemático digno de medalla de oro en la Olimpiada Internacional de Matemáticas (IMO) de 2025, la competición más prestigiosa del mundo para jóvenes matemáticos.
Los modelos de IA de ambas compañías lograron puntuaciones idénticas de 35 sobre un máximo de 42 puntos, resolviendo perfectamente cinco de los seis problemas. Este rendimiento igualó el umbral de la medalla de oro en la edición de este año, en la que solo alrededor del 11% de los 630 concursantes humanos (aproximadamente 67 estudiantes) obtuvieron medalla de oro.
La versión avanzada de Gemini con Deep Think de Google DeepMind fue evaluada y certificada oficialmente por los coordinadores de la IMO, y el presidente de la IMO, Gregor Dolinar, destacó que sus soluciones eran "sorprendentes en muchos aspectos" y "claras, precisas y en su mayoría fáciles de seguir". Esto supone un avance importante respecto al año pasado, cuando DeepMind logró la medalla de plata utilizando sistemas especializados.
OpenAI evaluó su modelo experimental de razonamiento en los mismos problemas y bajo idénticas condiciones de competición: dos sesiones de examen de 4,5 horas sin acceso a internet ni herramientas. Aunque OpenAI no participó en el proceso oficial de evaluación de la IMO, la empresa hizo que sus soluciones fueran corregidas de forma independiente por tres exmedallistas de la IMO.
El momento de los anuncios generó cierta tensión entre las compañías. OpenAI publicó sus resultados el 19 de julio, mientras que Google DeepMind esperó hasta el 21 de julio, respetando la petición de la Junta de la IMO de compartir los resultados tras la verificación oficial y el reconocimiento a los estudiantes.
Junehyuk Jung, profesor de matemáticas en la Universidad de Brown e investigador visitante en Google DeepMind, considera que este logro sugiere que la IA está a menos de un año de poder ayudar a los matemáticos a abordar problemas de investigación no resueltos en la frontera de las matemáticas. "Creo que el momento en que podamos resolver problemas de razonamiento difíciles en lenguaje natural permitirá la colaboración potencial entre la IA y los matemáticos", declaró Jung a Reuters.
Aunque el logro es impresionante, algunos expertos advierten que los problemas de la IMO, aunque difíciles, son conceptualmente más sencillos que las matemáticas de investigación de vanguardia. El logro demuestra la creciente capacidad de razonamiento de la IA, pero no indica necesariamente que esté preparada para todos los aspectos de la investigación matemática.