← Вернуться к списку
DeepSeek: DeepSeek Prover V2 (deepseek/deepseek-prover-v2) (Точный перевод названия сохранён, поскольку оно является именем собственным.)
Краткое содержание
DeepSeek Prover V2 — это модель с 671 миллиардом параметров, предположительно ориентированная на логику и математику. Вероятно, она является улучшенной версией модели DeepSeek-Prover-V1.5. Пока еще немного известно о данной модели, поскольку компания DeepSeek разместила её на платформе Hugging Face без объявления или описания.
Полный текст статьи пока не загружен.