La IA de Nvidia resuelve la prueba matemática más difícil del mundo a nivel de medalla de oro – sin herramientas

Cuando la IA comienza a razonar de verdad

Existen varios referentes en el mundo de la IA que funcionan como jalones – formas de medir si los sistemas realmente se vuelven más inteligentes, no solo más rápidos en recuperar información almacenada. La Olimpiada Internacional de Matemáticas, IMO, es uno de los más respetados. Es una competencia donde los estudiantes de secundaria más talentosos del mundo se enfrentan en resolución de problemas matemáticos puros – sin formularios, sin calculadora, sin internet.

Ahora investigadores de Nvidia reportan que su modelo Nemotron 3 Ultra ha superado la IMO 2026 a nivel de medalla de oro, con 30 de 42 puntos posibles. No es un aprobado por poco – es un resultado que coloca el modelo entre los mejores participantes humanos de la competencia.

Tres modelos que se examinan entre sí

Lo técnicamente interesante es cómo funciona el sistema. No se trata de una única red neuronal que produce respuestas. Según el artículo de investigación publicado en arXiv, tres versiones diferentes de Nemotron 3 Ultra trabajan juntas en un proceso iterativo – una genera demostraciones, otra las examina, y una tercera las refina. Recuerda la forma en que los matemáticos experimentados realmente trabajan: se escribe un borrador, se cuestionan las propias suposiciones y se reformulan.

Lo que lo hace aún más notable es que el sistema trabaja exclusivamente con lenguaje natural. Sin sistemas de demostración formal como Lean o Coq, sin herramientas externas, sin conexión de red. Es razonamiento puramente basado en lenguaje – la misma tecnología que impulsa los grandes modelos de lenguaje que usamos diariamente, pero refinada y especializada para análisis matemático profundo.

El entrenamiento ha combinado aprendizaje supervisado con aprendizaje por refuerzo – una combinación que se ha vuelto cada vez más común para enseñar a los modelos no solo a producir respuestas, sino a evaluar y mejorar su propio razonamiento.

Código abierto y un nuevo referente

Un detalle que merece atención especial: Nvidia publica todo como código abierto. Modelos entrenados, datos de entrenamiento, código fuente y las soluciones reales enviadas a la competencia – todo está disponible para la comunidad investigadora. Es una contribución generosa que acelera la investigación en toda la industria.

Además, se publica un nuevo referente llamado Nemotron-IMO-Bench, compuesto de 200 nuevos problemas de olimpiada de alto nivel. Es una adición bienvenida. Uno de los desafíos de la investigación avanzada en IA es que los referentes populares pierden valor cuando los modelos se entrenan con datos similares – se llama contaminación de datos. Problemas frescos y difíciles como estos proporcionan a la comunidad investigadora un instrumento de medición más confiable en el futuro.

Qué significa para la investigación y la educación

Quiero ser claro sobre qué no es esto: no es un modelo que reemplace a los matemáticos. Los problemas IMO, por difíciles que sean, constituyen un tipo de tarea bien definida con respuestas claramente correctas o incorrectas. La investigación matemática real se trata de formular las preguntas correctas, no solo responder las dadas.

Pero es una herramienta poderosa en desarrollo. Imagina a un doctorando en matemáticas que puede usar un modelo así para generar y examinar rápidamente ideas de demostraciones, o a un profesor de secundaria que puede crear problemas personalizados similares a olimpiadas para sus mejores estudiantes. Se trata de potenciar la capacidad humana, no reemplazarla.

Históricamente, ha tomado mucho tiempo lograr este tipo de resultados. Cuando AlphaProof y AlphaGeometry 2 de DeepMind superaron tareas IMO en el verano de 2024 fue una sensación. Ahora, menos de dos años después, Nvidia lo hace con un modelo de lenguaje puro sin sistemas de demostración formal – y abre toda la pila para el mundo exterior. El ritmo de este desarrollo es palpable.