🧠 НОВЫЙ РЫВОК В МАТЕМАТИКЕ: DEEPSEEK PROVER V2 671B На платформе 🤗 появились веса новой модели DeepSeek Prover V2 671B — ещё одного шага вперёд в области доказательства теорем и математики. Если предыдущая версия была основана на DeepSeek Math 7B (я уже рассказывал про неё [тут](ссылка)), то новая модель явно усилила свои возможности. Включая RL (обучение с подкреплением) и MCTS (метод Монте-Карло для поиска решений), она обещает более сложный и глубокий ризонинг. Несмотря на успехи Gemini 2.5 Pro и других моделей, формальная математика остаётся сложной задачей для general-purpose LLM. Основная проблема — формализация: модели могут решить задачу, но не всегда могут её корректно формализовать. Это делает специализированные модели, подобные DeepSeek Prover, незаменимыми для работы с математическими доказательствами. Пока доступны только веса модели, но скоро появятся model card и подробный пейпер. Следите за обновлениями — пост будет дополняться новой информацией. 👉 Скачать веса
🧠 НОВЫЙ РЫВОК В МАТЕМАТИКЕ: DEEPSEEK PROVER V2 671B
30 апреля 202530 апр 2025
2
~1 мин