- Те же принципы, что и у Lada Vesta. АвтоВАЗ... (259)
- Новые модели Phi 4 от Microsoft позволят... (257)
- Speedtest уже устарел — теперь сравниваем... (229)
- Visa, Mastercard и PayPal внедряют... (244)
- Intel Core Ultra 9 285K, Nvidia GeForce RTX... (245)
- Amazon выпустила «самый умный» ИИ Nova... (236)
- Hobot представил новый флагманский... (227)
- Точь-в-точь как настоящие смартфоны, но без... (233)
- Компания Astrostrom представила план... (236)
- Зонд «Психея» аварийно отключил двигатели —... (210)
- Лучше, больше и безумнее, чем раньше:... (203)
- Гонка токенов: Meta* и Cerebras Systems... (202)
- Новый, безопасный мир, в котором... (228)
- Эрнст возглавил направление продаж и... (218)
- MIT ускорил квантовые вычисления в 10 раз:... (227)
- «Железный» уже приступил к работе. Умный,... (236)
Создатели нашумевшего 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...