IA china DeepSeek-Math-V2 hace historia en competencias matemáticas internacionales
La startup china DeepSeek acaba de lanzar un modelo de inteligencia artificial de “código abierto” que está dando mucho de qué hablar en el mundo matemático y científico. ¿Su nombre? DeepSeek-Math-V2.
Este modelo no solo resuelve teoremas, también es capaz de verificar y corregir sus propias demostraciones, usando una lógica creada específicamente para enfrentarse a problemas matemáticos complejos.
Un cerebro matemático que se corrige solo
Lo que pone a DeepSeek-Math-V2 en la mira es su capacidad para “autoverificarse”. ¿Qué significa esto? El modelo genera una solución e inmediatamente la revisa paso a paso, como si fuera un profesor muy meticuloso.
Si detecta que se equivocó, corrige el cálculo antes de dar una respuesta final. Esta habilidad resulta clave en matemáticas, donde la precisión (y no solo el resultado final) importa.
El modelo detrás del avance
DeepSeek-Math-V2 está construido sobre DeepSeek-V3.2-Exp, un modelo experimental que la misma compañía presentó hace unos meses.
Pero aquí dieron un salto: incorporaron un “verificador” que examina cada prueba y un generador de teoremas que aprende de sus errores.
La meta fue clara: que la inteligencia artificial pueda atacar problemas abiertos, esos que ni los humanos han resuelto aún, y hacerlo de manera transparente y verificable.
Premios matemáticos en su primer año
¿Y qué tan bien le va? Pues su debut fue todo un acontecimiento: DeepSeek-Math-V2 consiguió una puntuación digna de medalla de oro en la Olimpiada Internacional de Matemáticas 2025 (IMO) y logró 118 puntos de 120 posibles en la competencia Putnam 2024, que es como el “superbowl” de los matemáticos universitarios.
Hasta ahora, solo modelos no liberados de OpenAI y Google habían logrado marcas similares, pero lo que distingue a DeepSeek es que es el primero totalmente abierto al público y listo para descarga bajo licencia Apache 2.0.
Un panorama que cambia con China al frente
Este desarrollo es, además, un movimiento estratégico para el ecosistema de inteligencia artificial, hoy dominado por China. Según estudios recientes, el porcentaje global de descargas de modelos abiertos originados en China ya llegó al 17% y va en ascenso.
Mientras tanto, aunque Estados Unidos sigue contando con mayor inversión privada, China apuesta por resultados más eficientes y modelos accesibles, potenciando la adopción global de la IA en áreas como criptografía, ciencias aplicadas o incluso exploración espacial.
La llegada de DeepSeek-Math-V2 es solo un primer paso. Si bien el modelo ya está igualando o superando a las principales inteligencias artificiales en problemas matemáticos, aún le queda camino por recorrer.
Sin embargo, el hecho de que ya pueda participar, y destacar, en competencias de tanto prestigio marca un antes y un después en la relación entre humanos y máquinas para resolver los grandes enigmas de la ciencia.
Fuente: Medium
