Новости DeepSeek выпустила математическую ИИ-модель Prover-V2

[CryptoWatcher]

---

Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишет Для просмотра ссылки Войди или Зарегистрируйся.

Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев до Для просмотра ссылки Войди или Зарегистрируйся. Тогда компания описала продукт как модель для формального доказательства теорем и математических рассуждений.

Серия Prover состоит из специфических LLM, ориентированных на математику. Подробности касательно нового инструмента не представлены. Судя по загруженным файлам, он построен на базе Для просмотра ссылки Войди или Зарегистрируйся, которая имеет 671 млрд параметров и использует архитектуру Mixture-of-Experts (MoE).

Релиз DeepSeek состоялся на следующий день после того, как китайский техгигант Alibaba Для просмотра ссылки Войди или Зарегистрируйся новое семейство ИИ-моделей Qwen3.

Напомним, в марте DeepSeek Для просмотра ссылки Войди или Зарегистрируйся для V3 с улучшениями в областях рассуждений, программирования и письма.

Ранее на компанию Для просмотра ссылки Войди или Зарегистрируйся власти Китая. Сотрудники работают в новых, более жестких условиях.