DeepSeek AI lanza DeepSeekMath-V2: el modelo matemático de pesos abiertos que obtuvo una puntuación de 118/120 en Putnam 2024
¿Cómo puede un sistema de IA demostrar problemas matemáticos complejos de nivel olímpico en un lenguaje natural claro y al mismo tiempo comprobar que su propio razonamiento es realmente correcto?…