DeepSeek ha lanzado el modelo DeepSeekMath-V2. Excelente desempeño en IMO-ProofBench y en competiciones (como los problemas 5/6 en IMO github.com/deepseek-ai/De…ntuación casi perfecta de 118/120). Posee una medalla de oro en la Olimpiada Internacional de Matemáticas (IMO) 2025. Enlace de código abierto de Github: https://t.co/5vhdwpQW6G ¡El modelo también fue publicado en @huggingface bajo la licencia de código abierto Apache 2.0! También puedes descargarlo desde HF:
