🤖 DeepSeek меняет правила игры в математике Китайская компания DeepSeek представила свою новую ИИ-модель для математических доказательств — DeepSeek-Prover-V2 с 671 млрд параметров. Эта модель, основанная на Lean 4 и архитектуре MoE, делает доказательства теорем быстрее и точнее. Уже доступна на Hugging Face и может быть использована как для локальных проектов, так и в коммерческих целях. Похоже, ИИ на шаг ближе к решению задач, которые раньше считались исключительно человеческими. Математики, готовьтесь к переподготовке. Ваша новая коллега — бот. @gates_pulse @gates_pulse https://t.me/gates_pulse

🐳 DeepSeek незаметно обновил модель для математических доказательств Prover-V2 Китайский стартап в области ИИ DeepSeek тихо выпустил Prover-V2 — специализированную модель с 671 миллиардом параметров, созданную для решения математических доказательств и теорем. Релиз состоялся всего через день после анонса Alibaba новой линейки моделей Qwen3 и на фоне нарастающего ожидания новой модели DeepSeek R2, ориентированной на рассуждения, пишет IndexBox. Связь с нами - 𝐐𝐮𝐚𝐧𝐭𝐮𝐦 𝐅𝐞𝐞𝐝 𝐒𝐮𝐩𝐩𝐨𝐫𝐭 Наш канал - 𝐐𝐮𝐚𝐧𝐭𝐮𝐦 𝐅𝐞𝐞𝐝 𝐐𝐮𝐚𝐧𝐭𝐮𝐦 𝐅𝐞𝐞𝐝 𝐒𝐮𝐩𝐩𝐨𝐫𝐭 http://t.me/QuantumFeedSupport_bot 𝐐𝐮𝐚𝐧𝐭𝐮𝐦 𝐅𝐞𝐞𝐝 https://t.me/QuantumFeedNews

Обратилась к DeepSeek за советом, и то, как она анализирует, говоря правду, в которой я боюсь признаться, просто убивает.

Этот скриншот показал DeepSeek после того, как я отправил ему статью одного из сотрудников NetEase (она занимается AI-матчмейкингом)

https://github.com/BeautyyuYanli/tooluser 一个 Python 库，用于为任何 LLM 模型(如 DeepSeek V3/R1)启用 Tool 功能。 #GitHub #AI https://github.com/BeautyyuYanli/tooluser https://github.com/BeautyyuYanli/tooluser #GitHub ?q=%23GitHub #AI ?q=%23AI Enable tool-use ability for any LLM model (DeepSeek V3/R1, etc.) - BeautyyuYanli/tooluser GitHub - BeautyyuYanli/tooluser: Enable tool-use ability for any LLM model (DeepSeek V3/R1, etc.)

ℹ️ DeepSeek уже интегрировали в кучу проектов Если хочешь строить карьеру в AI-разработке, знай, что DeepSeek — это новая мощная альтернатива ChatGPT. Чтобы не потеряться в потоке инфы, смотрите репозиторий awesome-deepseek-integration. Там собрали реальные проекты, куда уже встроили DeepSeek. 1️⃣ AI-ассистенты 2️⃣ Чат-приложения 3️⃣ Плагины для браузеров 4️⃣ VS Code и JetBrains расширения 5️⃣ Discord-боты 6️⃣ Системы поиска и генерации данных ➡️ Что вам это даёт как новичку ▪️ Видите, где сейчас в реальных проектах используют модели ▪️ Ловите идеи для своих pet-проектов и прокачки ▪️ Лучше понимаете рынок — и это плюс в резюме и на собесе Азбука айтишника #оффер_мечты awesome-deepseek-integration https://clc.to/abc_for_it2 Азбука айтишника https://t.me/abc_for_it #оффер_мечты ?q=%23%D0%BE%D1%84%D1%84%D0%B5%D1%80_%D0%BC%D0%B5%D1%87%D1%82%D1%8B

💻 Бесплатная замена Cursor? Есть такая — на базе DeepSeek V3! ⚡️ Появилась альтернатива Cursor, которая **работает прямо в браузере и ничего не требует — просто заходишь и кодишь. Что умеет: 🛠 Пишет и дописывает код 🐞 Находит и исправляет ошибки 🌐 Создаёт сайты, веб-приложения, игры и даже интерфейсы ⚙️ Работает на базе DeepSeek V3 — мощная и быстрая И да — совершенно бесплатно! Никаких установок, входов и лишней мороки. 🔥 Заценить и сохранить Идеальный вариант, если хочешь что-то запилить без лишнего софта 💡 DeepSeek https://huggingface.co/spaces/enzostvs/deepsite

DeepSeek попросили нарисовать аниме-самовар и вот что этот больной ублюдок выдал @news_18age @news_18age https://t.me/news_18age

DeepSeek ОБЕЗУМЕЛ и вспомнил про сталинские самовары. Распространите. Фичи и лайфхаки Фичи и лайфхаки https://t.me/notabugbutafeature

خروج از "DeepSeek - AI دستیار" https://play.google.com/store/apps/details?id=com.deepseek.chat https://play.google.com/store/apps/details?id=com.deepseek.chat https://play.google.com/store/apps/details?id=com.deepseek.chat Intelligent AI Assistant DeepSeek - AI Assistant - Apps on Google Play