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

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