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