DeepSeek Prover V2 Раньше писал, что DeepSeek R2 планируется в апреле, сегодня последний день апреля и где? Похоже, релиз все же будет, но в другой модели: на HuggingFace только что появились веса DeepSeek Prover V2 671B — обновленной модели для доказательства теорем и математики. Для меня DeepSeek сейчас самая удобная модель для всех моих вопросов, начиная от "какой шашлык выбрать на майские" и заканчивая "найти 10 аргументов в споре с женой". неработающие аргументы... Сейчас в веб версии доступна модель R1, и она фантастически хороша, жду не дождусь R2. Надеюсь, что текущий релиз Prover V2 671B встроят в основную ветку (как MoE или как отдельную утилиту, которую будет вызывать основная модель - мне без разницы). https://t.me/semasci планируется https://t.me/semasci/892 HuggingFace https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B веб версии https://chat.deepseek.com/ https://t.me/semasci https://t.me/semasci

Открыла для себя DeepSeek... Сижу, тестю, нравится!

Написано с помощью DeepSeek за 43 секунды. :)

Приложение DeepSeek вернулось в южнокорейские магазины приложений С 28 апреля приложение DeepSeek снова доступно для скачивания в Южной Корее. Компания внесла изменения в свою политику и частично удовлетворила требования местных регуляторов. Ранее, в феврале, власти страны запретили распространение DeepSeek из-за нарушений правил обработки и хранения персональных данных. Подпишись: ✅Telegram ✅Telegram https://t.me/apbusinesstj

DeepSeek готов полностью заменить школьников🤣

⚡️ 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

https://loquesomos.org/deepseek-o-la-busqueda-profunda-de-china-en-la-carrera-tecnologica-y-digital-del-siglo-xxi/ DeepSeek o la “búsqueda profunda” de China en la carrera tecnológica y digital del siglo XXI https://loquesomos.org/deepseek-o-la-busqueda-profunda-de-china-en-la-carrera-tecnologica-y-digital-del-siglo-xxi/ https://loquesomos.org/deepseek-o-la-busqueda-profunda-de-china-en-la-carrera-tecnologica-y-digital-del-siglo-xxi/ DeepSeek, carrera tecnológica, Paula Giménez y Matías Caciabue, Liang Wenfeng, IA de código abierto, China vs EE.UU, High-Flyer, Nvidia DeepSeek o la “búsqueda profunda” de China en la carrera tecnológica y digital del siglo XXI - LoQueSomos

🤔 Китайская нейросеть 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.

https://www.theepochtimes.com/epochtv/the-dangers-of-deepseek-and-chinese-drones-army-captain-florent-groberg-ret-5843741 https://www.theepochtimes.com/epochtv/the-dangers-of-deepseek-and-chinese-drones-army-captain-florent-groberg-ret-5843741 https://www.theepochtimes.com/epochtv/the-dangers-of-deepseek-and-chinese-drones-army-captain-florent-groberg-ret-5843741 Florent Groberg is a retired U.S. Army Captain who fought in Afghanistan and was severely injured attempting to thwart a suicide bomber. [PREMIERING 9PM ET] The Dangers of DeepSeek and Chinese Drones: Army Captain Florent Groberg (Ret.)