El modelo Gemini avanzado de Google, impulsado por Deep Think, gana el oro en la Olimpiada Internacional de Matemáticas con resolución de problemas a

La división de inteligencia artificial de Google, Google DeepMind anunció que una versión avanzada de su modelo Gemini Deep Think resolvió con éxito cinco de seis problemas en la Olimpiada Internacional de Matemáticas (OIM), obteniendo 35 puntos, equivalentes a una medalla de oro. Esto marcó una de las primeras instancias en que los coordinadores de la OIM evaluaron y certificaron oficialmente los resultados de un modelo utilizando los mismos estándares aplicados a los participantes humanos.

El sistema Gemini Deep Think utilizado para esta demostración featured Capacidades de razonamiento mejoradas, adaptadas a problemas matemáticos complejos. Incorpora avances recientes en investigación, incluyendo un método conocido como pensamiento paralelo, que permite al modelo explorar e integrar múltiples soluciones simultáneamente antes de llegar a una solución final, en lugar de seguir un único proceso lineal.

Para mejorar su rendimiento, el modelo se entrenó mediante técnicas de aprendizaje por refuerzo diseñadas para optimizar el razonamiento multipaso, la demostración de teoremas y la resolución de problemas en general. El sistema también tuvo acceso a un conjunto seleccionado de soluciones matemáticas de alta calidad, junto con guías instructivas para abordar preguntas de tipo IMO.

Se compartirá una versión limitada de este modelo Deep Think con evaluadores seleccionados, incluidos matemáticos, antes de un lanzamiento más amplio para los suscriptores de Google AI Ultra.

Este desarrollo representa un avance significativo con respecto a los logros del año pasado. En 2024, modelos como AlphaGeometry y AlphaProof requerían intervención humana para traducir los problemas a lenguajes específicos del dominio (como Lean) y viceversa. Además, resolver los problemas requería varios días de computación. En cambio, la versión actualizada... Modelo Géminis produjo soluciones matemáticamente rigurosas directamente a partir de los enunciados oficiales de los problemas de la OMI, totalmente en lenguaje natural y dentro del plazo de competición estándar de 4.5 horas.

La OMI se convierte en un referente clave para la IA en razonamiento matemático avanzado

La IMO es una competencia global de larga trayectoria que reúne a estudiantes preuniversitarios de alto rendimiento para abordar seis problemas matemáticos avanzados en temas como álgebra, combinatoria, geometría y teoría de números. Fundada en 1959, la IMO es ampliamente reconocida como uno de los concursos de matemáticas más desafiantes del mundo. Cada país participante presenta un equipo de seis estudiantes, y se otorgan medallas al 50% de los mejores concursantes, de los cuales aproximadamente el 8% obtiene una medalla de oro.

En los últimos años, la competencia también se ha consolidado como un referente para evaluar las capacidades de la inteligencia artificial en la resolución de problemas complejos y el razonamiento matemático. En 2024, un sistema combinado de Google DeepMind (AlphaProof y AlphaGeometry 2) obtuvo un rendimiento de nivel plata al resolver cuatro de los seis problemas y obtener 28 puntos. Este resultado, basado en lenguajes matemáticos formales, marcó un avance notable en la demostración del potencial de la IA para igualar las habilidades matemáticas avanzadas de los humanos.