DeepSeek выпустила модель DeepSeekMath‑V2

Jinse Finance сообщает, что DeepSeek выпустила новую модель математического рассуждения DeepSeekMath-V2, использующую обучающую структуру с возможностью самопроверки. Эта модель построена на базе DeepSeek-V3.2-Exp-Base, автоматически проверяет сгенерированные математические доказательства с помощью LLM-верификатора и постоянно оптимизирует производительность за счёт использования сложных примеров.