- Стеклянная память будущих дата-центров:... (2071)
- SPHBM4: новый формат памяти для удешевления... (1864)
- Израиль принял на вооружение лазерную пушку... (2302)
- Израиль принял на вооружение лазерную пушку... (1619)
- Dell вернёт культовую линейку ноутбуков XPS... (2074)
- Выпирает всего на 1,7 мм. OnePlus... (1719)
- На выбор есть процессоры AMD, Intel и не... (1670)
- Отключить DLSS и переложить эту работу прямо... (1801)
- Китайская BYD показала самый слабый рост... (1624)
- Видеокарты наконец-то перестанут гореть? MSI... (1753)
- Истина в Шампанском — скопление галактик с... (2031)
- Nvidia ведёт переговоры о покупке... (1837)
- MSI представила два 32-дюймовых игровых... (1728)
- Samsung «заморозила» цены на Galaxy S26,... (2161)
- «Буханка» и «Патриот» подорожали: УАЗ... (1876)
- Samsung начала поставки 34-дюймовых... (2424)
Создатели нашумевшего DeepSeek быстро ответили на выпуск ИИ, который опередил DeepSeek, ChatGPT, Grok и Gemini. Китайцы запустили Prover-V2
Дата: 2025-05-01 14:38
Китайский стартап DeepSeek без лишнего шума открыл исходный код новой специализированной модели искусственного интеллекта, всего через день после того, как Alibaba представила третье поколение своего семейства Qwen.
Компания DeepSeek из Ханчжоу загрузила свою последнюю модель Prover-V2 с открытым исходным кодом в Hugging Face, крупнейшее в мире сообщество ИИ с открытым исходным кодом. Серия Prover компании DeepSeek состоит из предметно-ориентированных моделей, предназначенных для решения математических задач.
Изображение Midjourney Компания пока не предоставила никаких подробностей о модели, которая, предположительно, построена на основе модели 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...