La IA china DeepSeek obtiene un premio en matemáticas: no hay nadie que pueda superarla (por ahora)

A principios de 2025, la startup china DeepSeek revolucionó la industria de la inteligencia artificial con sus modelos, los cuales sorprendieron por varios motivos. El primero, por ofrecer un rendimiento similar a ChatGPT. El segundo, por tener un coste de entrenamiento considerablemente inferior al de la propuesta de OpenAI: se dice que en torno a los 5,6 millones de dólares.

Millones de usuarios, fascinados por lo que DeepSeek había logrado, corrieron a descargar la IA en sus dispositivos móviles. En apenas unos días consiguió llegar al primer puesto en la App Store de Estados Unidos. No obstante, la diversión duró poco: gobiernos de todo el mundo empezaron a advertir sobre el peligro de utilizar la inteligencia artificial china, afirmando que los datos personales corrían peligro.

En todos estos meses, la euforia por los modelos de DeepSeek se ha desvanecido. La gente está más pendiente de lo que tiene que ofrecer OpenAI, Anthropic, Meta, Microsoft, Google o xAI que de las novedades del laboratorio chino. Sin embargo, con Math-V2, ha demostrado que todavía tiene mucho que decir. Su rendimiento es digno de obtener una medalla de oro en la OIM.

Math-V2 de DeepSeek está disponible en Hugging Face y GitHub para cualquier interesado

La Olimpíada Internacional de Matemáticas (OIM), celebrada desde 1959, es considerada la competición de matemáticas más prestigiosa del mundo. Pone a prueba a los participantes con problemas que exigen un conocimiento profundo, creatividad y razonamiento riguroso. Math-V2 de DeepSeek parece estar preparada para superarlos a todos.

El laboratorio afirma que este modelo obtuvo puntuaciones prácticamente perfectas en problemas tanto de la Olimpiada Internacional de Matemáticas de este año como de la Olimpiada China de Matemáticas de 2024. Acaba de poner a Math-V2, a través de Hugging Face y GitHub, a disposición de todos los interesados bajo una licencia permisiva que da poder a los desarrolladores a adaptar y reutilizar el sistema.

Conseguir una medalla de oro en la OIM no es nada fácil, como te puedes imaginar. No solo requiere respuestas correctas, sino también que el razonamiento tras ellas sea transparente. Esto solo lo logra alrededor del 8 % de los participantes humanos que se someten a la prueba.

Con la publicación del modelo, DeepSeek busca reducir las barreras para investigadores y desarrolladores interesados en experimentar con IA avanzada capaz de razonar a través de desafíos matemáticos de alto nivel, según informó el medio chino South China Morning Post. Modelos como Math-V2 podrían tener un impacto transformador en la investigación científica, desde simulaciones complejas hasta la resolución de problemas teóricos.

Mientras que muchos sistemas de IA actuales solo están optimizados para obtener buenos resultados en pruebas de matemáticas estándar, DeepSeek se centró en permitir que el modelo pueda autoverificar sus respuestas, incluso para problemas sin soluciones preexistentes. Esto ayuda a que sus conclusiones no solo sean correctas a soluciones existentes, sino también fiables para afrontar desafíos todavía por resolver.

DeepSeek no es el único con un modelo matemático avanzado. Google DeepMind, tras obtener el oro en la OIM, lo puso a disposición de los suscriptores del plan premium Ultra. El modelo experimental de OpenAI también obtuvo la misma medalla, pero de momento permanece inaccesible para el público general, como comunicó Sam Altman.