Китайская лаборатория DeepSeek представила новую ИИ-модель Prover, ориентированную на математику, и выложила ее с открытым исходным кодом на платформе Hugging Face. Модель, получившая название Prover-V2, является обновлением предыдущей версии и продолжает развитие инструментов для формальных математических доказательств.
Prover-V2 — это модель, ориентированная на математические рассуждения и теоремы. Она является обновлением модели Prover-V1.5, выпущенной в августе, и представляет собой специализированный LLM (язык модель машинного обучения), который фокусируется на решении математических задач. Prover-V2 построена на базе DeepSeek V3, имеющей 671 миллиард параметров и использующей архитектуру Mixture-of-Experts (MoE), что позволяет ей эффективно работать с математическими задачами и теоремами.
Интерес к таким моделям растет на фоне того, что они могут быть полезными для сложных математических и научных задач. Это открывает новые возможности для использования ИИ в научных исследованиях, программировании и теоретической математике. Важно отметить, что релиз Prover-V2 состоялся на следующий день после того, как китайская компания Alibaba представила свою новую серию ИИ-моделей Qwen3.
Изучайте больше о мире криптовалют, инвестировании и трейдинге в академии Cryptemic.
DeepSeek продолжает развивать ИИ-модели, специализирующиеся на математике, что имеет потенциал для революции в области научных исследований и теоретических вычислений. Открытый доступ к Prover-V2 дает возможность исследователям и разработчикам по всему миру использовать ее возможности для решения сложных математических задач.
ДИСКЛЕЙМЕР
Вся информация, содержащаяся на нашем вебсайте, публикуется на принципах добросовестности и объективности, а также исключительно с ознакомительной целью. Читатель самостоятельно несет полную ответственность за любые действия, совершаемые им на основании информации, полученной на нИнцидент с JELLY вновь поднял вопрос о балансе между защитой рынка и злоупотреблениями со стороны бирж. Пока Hyperliquid не предоставит четких объяснений, доверие к платформе будет оставаться под угрозой.ашем вебсайте.
- Великобритания отложит налог на прибыль для криптокредитования и пулов ликвидности
- eSIM упрощает международные поездки для пользователей из Нигерии
- JCB и Circle протестируют расчёты в USDC: крупнейшая платёжная сеть Японии изучает интеграцию стейблкоинов
- Трамп усиливает давление на Сенат: CLARITY Act предлагают принять в память о Линдси Грэме
- Ripple Prime присоединилась к обсуждению токенизированных рынков вместе с DTCC
