- Дата публикации
Что появилось / что изменилось AMD подробно расписала, как запускать локальные ИИ-агенты OpenClaw на Windows‑ПК. Компания предлагает два готовых сценария под свои платформы: - RyzenClaw — система на б...
alibaba
Новости Alibaba в сфере ИИ: языковые модели Qwen, облачные сервисы и конкуренция на мировом рынке.
3 материала
- Дата публикации
Что появилось / что изменилось OmniCoder-9B — это локальная кодовая LLM на базе Qwen3.5-9B-Base, упакованная в формат GGUF и рассчитанная на запуск через llama.cpp. Главное: её реально можно запускать...- Дата публикации
Mistral представила Leanstral: агент для формальных доказательств в Lean 4 с ценой ниже Claude
codingЧто появилось / что изменилось Mistral выпустила Leanstral — открытый код-агент для доказательства теорем и формальной верификации кода в Lean 4. Это не просто LLM, а специализированный помощник для p...