- ЦОД Испании и Португалии успешно пережили... (816)
- Жёсткий диск, который работает даже без... (941)
- AOC выпустила 27-дюймовый игровой... (982)
- Журналисты показали сражение с многоглазым... (877)
- Очередная проблема с GeForce RTX 50, но... (966)
- Флагманская видеокарта Intel Arc B770 уровня... (901)
- iPhone 17 Air будет очень тонким, а iPhone... (810)
- Ещё один повод избегать GeForce RTX 5060 Ti... (878)
- Первый складной iPhone сходу обойдёт... (792)
- Почему молчит космос? Учёные связали... (881)
- Google возвращается в Голливуд: гигант... (905)
- «10 лет Гвинта»: CD Projekt Red пригласила... (825)
- Опубликованы детальные изображения каждого... (819)
- Google Gemini покорил Pokemon Blue: прорыв в... (625)
- Oracle вновь предлагает российским... (648)
- Неожиданный поворот OpenAI от коммерции к... (601)
Создатели нашумевшего 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...