⚡️ DeepSeek выкатила веса Prover V2 Первая версия прувера от DeepSeek вышла почти год назад и была предназначена для автоматического доказательства математических теорем. Новая версия, судя по масштабу, вероятно, ориентирована на сложные reasoning-задачи в математике и может представлять собой уже не просто тул, а полноценную reasoning-систему. Что особенно интересно — отдельной новой версии DeepSeek Math не вышло, хотя именно она раньше лежала в основе прувера. Возможно, обе модели теперь объединены. Пока что опубликованы только веса — официального анонса и статьи нет. 📂 Веса тут 🤑 ForgetMe | Boosty | ForgetBench | ForgetGPT #deepseek #нейросети #новости тут https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main ForgetMe https://t.me/forgetmeai Boosty https://boosty.to/lastnightisrea ForgetBench https://forgetbench.ru/ ForgetGPT https://t.me/forgetgpt_bot #deepseek ?q=%23deepseek #нейросети ?q=%23%D0%BD%D0%B5%D0%B9%D1%80%D0%BE%D1%81%D0%B5%D1%82%D0%B8 #новости ?q=%23%D0%BD%D0%BE%D0%B2%D0%BE%D1%81%D1%82%D0%B8

🤔 Китайская нейросеть DeepSeek появится в BMW — ассисиента завезут в машины до конца 2025 года. Он подскажет лучший маршрут, предскажет поломку, учтёт погоду и даже ваше самочувствие. Ассистент понимает голос и подбирает музыку по вкусу. Потом он будет развиваться: в будущем возможностей станет в разы больше. Пока ИИ появится только в китайских версиях BMW — из-за сложностей с внедрением в Европе и США. #deepseek завезут https://www.reuters.com/business/autos-transportation/bmw-integrate-deepseek-ai-its-new-vehicles-china-later-this-year-2025-04-23/ #deepseek ?q=%23deepseek

🔥 А вот и новый DeepSeek Prover v2 🚀 Новый DeepSeek-Prover-V2: Модель для доказательства теорем yf Lean 4 Lean 4 — это зависимо типизированный функциональный язык программирования и интерактивное средство доказательства теорем . Результаты: • Новая Sota( 88,9%) на MiniF2F-test. • DeepSeek-Prover-V2 смогла доказать 49 теорем из 658. 🔍 Как это работает: 1) Разложение теорем: DeepSeek-V3 по prompt'у разбивает сложные задачи на подцели. 2) Формализация: Пошаговые рассуждения переводятся в доказательства на Lean 4. 3) Cold-start: Полученные цепочки рассуждений и формальные доказательства используются как начальные данные для обучения модели. 🌟 Два размера: • 7 B — базовый вариант. • 671 B — расширенная версия на базе DeepSeek-V3-Base.

Чо думаете я шучу? Ахах хаха влюблена в DeepSeek . Ujas.

DeepSeek пополняет список пословиц. Цифровизация Цифровизация https://t.me/rushdeadline0

DeepSeek хорош в придумывании пословиц. ИИнсайд ИИнсайд https://t.me/iinsidegpt

Нашумевший чат-бот DeepSeek, который передавал данные и запросы пользователей без их согласия, разблокировали в Южной Корее https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html Китайский чат-бот DeepSeek, 28 апреля, в понедельник снова стал доступен на южнокорейском рынке — спустя более двух месяцев после того, как его загрузки были приостановлены, когда власти указали на нарушения правил защиты данных. Комиссия по защите персональных данных Южной Кореи заявила на прошлой неделе, что DeepSeek передавал данные и запросы пользователей без разрешения, когда сервис впервые был запущен в Южной Корее в январе (https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html). https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html

Нашумевший чат-бот DeepSeek, который передавал данные и запросы пользователей без их согласия, разблокировали в Южной Корее https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html Китайский чат-бот DeepSeek, 28 апреля, в понедельник снова стал доступен на южнокорейском рынке — спустя более двух месяцев после того, как его загрузки были приостановлены, когда власти указали на нарушения правил защиты данных. Комиссия по защите персональных данных Южной Кореи заявила на прошлой неделе, что DeepSeek передавал данные и запросы пользователей без разрешения, когда сервис впервые был запущен в Южной Корее в январе (https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html). https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html https://www.ixbt.com/news/2025/04/28/nashumevshij-chatbot-deepseek-kotoryj-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija-razblokirovali-v-juzhnoj.html https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html https://www.ixbt.com/news/2025/04/24/eshjo-do-zapreta-nashumevshij-chatbot-deepseek-peredaval-dannye-i-zaprosy-polzovatelej-bez-ih-soglasija--ob-jetom.html

DeepSeek попросили нарисовать аниме-самовар и вот что этот больной ублюдок выдал

DeepSeek попросили нарисовать аниме-самовар и вот что этот больной ублюдок выдал