Mistral відкрила Leanstral 1.5: 100% на формальній математиці та 5 знайдених багів
Mistral випустила open-source модель Leanstral 1.5 (Apache 2.0) для формальної верифікації в Lean 4: 100% на miniF2F і 5 раніше невідомих багів у 57 репозиторіях.
Особистий ШІ-агент OpenClaw: встановлення, реальна собівартість і де він ламається
OpenClaw — self-hosted ШІ-агент, що з'єднує месенджери з Claude і GPT. Що це, як встановити, скільки коштує в токенах і які ризики за це платите.
Z.ai запустила ZCode: безкоштовна агентна IDE проти Cursor і Claude Code
Z.ai випустила безкоштовне агентне середовище ZCode під свою модель GLM-5.2 — конкурента Cursor, Claude Code і Copilot. Підписка від $16,2 на місяць.
Vibe-coding платформа Base44 (Wix) випускає власну модель Base1
Платформа Base44 (Wix) випускає власну ШІ-модель Base1, навчену на діях своїх користувачів. Мета — швидше й дешевше за чужі моделі, за $150 млн ARR.
LongCat-2.0 від Meituan — відкрита модель на 1,6 трлн параметрів, навчена без чипів NVIDIA
Meituan відкрила LongCat-2.0 — агентну модель для коду на 1,6 трлн параметрів (MoE), навчену цілком на китайських чипах. Ліцензія MIT, контекст 1 млн токенів.
Mistral випустив OCR 4: не просто розпізнавання, а розбір документа
Mistral OCR 4 розпізнає структуру документа цілком — таблиці, формули, підписи, координати блоків, упевненість за словами. 170 мов, $4 за 1000 сторінок.
Claude Tag — постійний ШІ-колега у Slack: як працює, скільки коштує і де ламається
Claude Tag від Anthropic працює просто у Slack: як агент бере задачі в тредах, що в нього під капотом, скільки коштує на Team і Enterprise та де ламається.
GLM від Z.ai на своєму ПК: чи реально запустити фронтир-модель удома
Огляд GLM (Z.ai) для локального запуску у 2026: лінійка 4.6 і Flash, таблиця VRAM, агентний кодинг, MoE-offloading, ліцензія MIT, вимоги до заліза та українська.