- Трамп перепишет правила экспорта ИИ-чипов в... (528)
- Администрация Трампа намерена предложить... (858)
- АвтоВАЗ готовит универсал на платформе... (857)
- Starship полетит уже 19 мая. А на Марс... (765)
- Новые наушники Sony с шумоподавлением... (798)
- Samsung купила аудиобизнес Masimo, в который... (613)
- Samsung договорилась о покупке аудиобизнеса... (841)
- Для Starlink Mini, который «изменит мир»,... (766)
- Склады забиты на полгода вперед, ситуация с... (830)
- В России создан алмазный... (755)
- Советский космический аппарат падает на... (777)
- Прорыв в медицине: учёные создали... (1024)
- Точность данных, даже когда одна сторона... (1026)
- Samsung Galaxy S26 будет не только мощным и... (1091)
- 3,5-литровый мотор, 10-ступенчатый «автомат»... (1113)
- Рынок рушится, но КамАЗ непобедим: в апреле... (1224)
Создатели нашумевшего DeepSeek быстро ответили на выпуск ИИ, который опередил DeepSeek, ChatGPT, Grok и Gemini. Китайцы запустили Prover-V2
Дата: 2025-05-01 14:38
Китайский стартап DeepSeek без лишнего шума открыл исходный код новой специализированной модели искусственного интеллекта, всего через день после того, как Alibaba представила третье поколение своего семейства Qwen.
Компания DeepSeek из Ханчжоу загрузила свою последнюю модель Prover-V2 с открытым исходным кодом в Hugging Face, крупнейшее в мире сообщество ИИ с открытым исходным кодом. Серия Prover компании DeepSeek состоит из предметно-ориентированных моделей, предназначенных для решения математических задач.

Компания пока не предоставила никаких подробностей о модели, которая, предположительно, построена на основе модели V3 DeepSeek и имеет 671 миллиард параметров. Разработка математической модели, которая могла бы улучшить математические возможности базовой модели общего назначения, породила предположения о том, что DeepSeek вскоре запустит дополнительные модели. Компания DeepSeek не отреагировала на просьбу прокомментировать ситуацию.
Запуск Prover-V2 последовал за выпуском Qwen3 от Alibaba. Гигант электронной коммерции заявил, ссылаясь на бенчмарки, что его новейшая модель превзошла DeepSeek-R1 и модели рассуждений OpenAI o1.
Китайский чат-бот DeepSeek в понедельник снова стал доступен на южнокорейском рынке — спустя более двух месяцев после того, как его загрузки были приостановлены, когда власти указали на нарушения правил защиты данных.
Подробнее на iXBT
Предыдущие новости
Ходячие роботы для Луны: как «собаки» смогут искать воду и спасут лунные миссии от провалов
Учёные из Университета Южной Калифорнии (USC) предложили принципиально новый подход к изучению Луны — использовать четырёхногих роботов, способных не только передвигаться по сложному рельефу, но и анализировать грунт в реальном времени. Исследование, представленное на 56-й Лунной и планетарной научной конференции, демонстрирует, как такие устройства могут повысить...
Как зарождалась жизнь на Земле? Учёные выяснили, как первые организмы на нашей планете получали энергию — это было 4 миллиарда лет назад
Учёные из Мюнхенского университета Людвига-Максимилиана (LMU) совершили прорыв: они смогли воссоздать в лаборатории древнейший процесс обмена веществ, который, вероятно, использовали первые живые организмы на Земле 4–3,6 миллиарда лет назад. Исследование, опубликованное в журнале Nature Ecology & Evolution, проливает свет на то, как зарождалась жизнь в экстремальных условиях...
Представлена новая Toyota Camry 2026
Компания Toyota представила Camry 2026 модельного года в новой версии Nightshade Edition, которая стала пятым вариантом девятого поколения модели. Седан получил спортивный облик благодаря 19-дюймовым дискам, чёрным шильдикам и вставкам Midnight Black Metallic на решётке радиатора, зеркалах, дверных ручках, спойлере и заднем диффузоре. Фото Toyota Toyota Camry Nightshade...
Цукерберг похвастался, что месячная аудитория Threads превысила 350 млн — до X ещё далеко
Аудитория платформы микроблогов Threads компании M**a продолжает стремительно расти. Как сообщил в среду генеральный директор Марк Цукерберг (Mark Zuckerberg) в ходе отчёта о финансовых результатах компании за первый квартал 2025 года, у Threads более 350 млн активных пользователей в месяц — на 30 млн больше, чем в предыдущем квартале. Источник изображения: Wesley...