- Blizzard открыла ворота: пользователи... (5603)
- После блокировки Telegram россияне... (4470)
- Общенациональная блокировка интернета в... (4676)
- Увеличенный космический грузовик Cygnus XL... (5096)
- «Хотите — верьте, хотите — нет»: разработчик... (4977)
- Philips представила монитор Evnia 27M2G5800... (4451)
- Escape from Tarkov в космосе: анонсирован... (5047)
- Red Hat уволила сотни программистов в Китае,... (4729)
- Toyota показала в деле колёсного... (4834)
- Инсайдер: из-за GTA VI новая Fable может не... (5548)
- В Южной Корее разработан сверхтонкий модуль... (5095)
- Sandisk намерена начать опытный выпуск... (5207)
- Sandisk рассчитывает начать опытный выпуск... (5087)
- Павел Дуров объяснил, что не так с защитой... (5099)
- Apple готовит четыре варианта дизайна умных... (5170)
- Китайский робот Unitree H1 разогнался до 10... (4835)
Создатели нашумевшего 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...