DeepSeekMath-V2: IA open weights para razonamiento matemático
¿Qué es DeepSeekMath-V2 y por qué es relevante? DeepSeekMath-V2 es un modelo de inteligencia artificial de open weights diseñado para razonamiento matemático de alta precisión y generación de pruebas formales. Lanzado por DeepSeek AI en noviembre de 2025, se apoya en una arquitectura dual (verificador-generador) que le permite crear y auditar demostraciones matemáticas, elevando el …










