# DeepSeekMath-V2: El LLM que domina las matemáticas. Razonamiento y prueba de teoremas

Episodio de [En la mente de la máquina](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina).

- Publicado: 29 de noviembre de 2025
- Duración: 14 min
- Página: https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650377-deepseekmath-v2-el-llm-que-domina-las-matematicas-razonamiento-y-prueba-de

## Sobre este episodio

Descubre DeepSeekMath-V2, el innovador Modelo de Lenguaje Grande (LLM) que está llevando el razonamiento matemático a nuevos límites mediante la auto-verificación. Este modelo aborda una limitación fundamental de la IA: las respuestas correctas no garantizan un razonamiento correcto. Para ello, entrena un verificador preciso y fiel para la prueba de teoremas, incentivando al generador de pruebas a identificar y resolver problemas internos antes de finalizar. Este enfoque riguroso le ha permitido alcanzar resultados espectaculares, logrando puntajes de nivel Oro en IMO 2025 y CMO 2024, y un puntaje casi perfecto de 118/120 en Putnam 2024, incluso escalando el cómputo de prueba durante el tiempo de testeo. Si te interesa el avance en el desarrollo de IA matemática y la seguridad del código inherente al software, y cómo el modelo se basa en DeepSeek-V3.2-Exp-Base, este es un avance clave en la escalabilidad de la inteligencia artificial.https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdfhttps://huggingface.co/deepseek-ai/DeepSeek-Math-V2

Anterior: [Alibaba Quark AI Glasses: Precio, funciones y el duelo contra Meta](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650376-alibaba-quark-ai-glasses-precio-funciones-y-el-duelo-contra-meta)
Siguiente: [INTELLECT-3: LLM MoE SOTA (106B) entrenado con RL. Supera a modelos 6x más grandes en código](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/8650374-intellect-3-llm-moe-sota-106b-entrenado-con-rl-supera-a-modelos-6x-mas-grandes)

## Últimos episodios de En la mente de la máquina

- [¿La IA Reemplazará a los Ingenieros? El Benchmark PLE de Google Revela la Verdad](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/147002129-la-ia-reemplazara-a-los-ingenieros-el-benchmark-ple-de-google-revela-la-verdad) · 28 de octubre de 2026 · 18 min
- [¡La Revolución de la IA! NCP-ArchPreview: Modelo Latente 2x Más Rápido](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/146978939-la-revolucion-de-la-ia-ncp-archpreview-modelo-latente-2x-mas-rapido) · 26 de octubre de 2026 · 29 min
- [¿Puede una IA Tener Conciencia Real? El Revelador Marco de Google DeepMind](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/146968013-puede-una-ia-tener-conciencia-real-el-revelador-marco-de-google-deepmind) · 25 de octubre de 2026 · 25 min
- [¿Las IA Sienten Dolor? Descubren el "Eje del Dolor" en LLMs y sus Perturbadores Efectos](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/145261392-las-ia-sienten-dolor-descubren-el-eje-del-dolor-en-llms-y-sus-perturbadores) · 24 de octubre de 2026 · 14 min
- [¡Revolución Biomédica! Miles de Agentes de IA de OpenAI Descubren Secretos del Cerebro](https://escuchario.semeescucha.es/podcast/en-la-mente-de-la-maquina/episodio/124480808-revolucion-biomedica-miles-de-agentes-de-ia-de-openai-descubren-secretos-del) · 23 de octubre de 2026 · 26 min