На информационном ресурсе применяются рекомендательные технологии (информационные технологии предоставления информации на основе сбора, систематизации и анализа сведений, относящихся к предпочтениям пользователей сети "Интернет", находящихся на территории Российской Федерации)

iXBT.com

33 подписчика

Свежие комментарии

  • Иван Николаев
    Японцы одновременно выпустили три лимитированных серии. Вот кросстрек, плюс импреза, плюс леворг. Кросстрек, конечно,...Представлен новый...
  • Юрий Стенякин
    А если учесть что компания официально ушла с российского рынка то преимущества спорныПредставлена нова...
  • Mikhail Stepanov
    Ха-ха! В то время, как российская гиперзвуковой ракета летит со скоростью около 20 тыс. км. В час!США успешно испыт...

Создатели нашумевшего DeepSeek быстро ответили на выпуск ИИ, который опередил DeepSeek, ChatGPT, Grok и Gemini. Китайцы запустили Prover-V2

Китайский стартап DeepSeek без лишнего шума открыл исходный код новой специализированной модели искусственного интеллекта, всего через день после того, как Alibaba представила третье поколение своего семейства Qwen.

Компания DeepSeek из Ханчжоу загрузила свою последнюю модель Prover-V2 с открытым исходным кодом в Hugging Face, крупнейшее в мире сообщество ИИ с открытым исходным кодом.

Серия Prover компании DeepSeek состоит из предметно-ориентированных моделей, предназначенных для решения математических задач.

Изображение Midjourney

Компания пока не предоставила никаких подробностей о модели, которая, предположительно, построена на основе модели V3 DeepSeek и имеет 671 миллиард параметров. Разработка математической модели, которая могла бы улучшить математические возможности базовой модели общего назначения, породила предположения о том, что DeepSeek вскоре запустит дополнительные модели. Компания DeepSeek не отреагировала на просьбу прокомментировать ситуацию.

Запуск Prover-V2 …

Ссылка на первоисточник
наверх