dev

Mistral відкрила Leanstral 1.5: 100% на формальній математиці та 5 знайдених багів

Mistral випустила open-source модель Leanstral 1.5 (Apache 2.0) для формальної верифікації в Lean 4: 100% на miniF2F і 5 раніше невідомих багів у 57 репозиторіях.

2 хв. читання

Особистий ШІ-агент OpenClaw: встановлення, реальна собівартість і де він ламається

OpenClaw — self-hosted ШІ-агент, що з'єднує месенджери з Claude і GPT. Що це, як встановити, скільки коштує в токенах і які ризики за це платите.

26 хв. читання

Z.ai запустила ZCode: безкоштовна агентна IDE проти Cursor і Claude Code

Z.ai випустила безкоштовне агентне середовище ZCode під свою модель GLM-5.2 — конкурента Cursor, Claude Code і Copilot. Підписка від $16,2 на місяць.

3 хв. читання

Vibe-coding платформа Base44 (Wix) випускає власну модель Base1

Платформа Base44 (Wix) випускає власну ШІ-модель Base1, навчену на діях своїх користувачів. Мета — швидше й дешевше за чужі моделі, за $150 млн ARR.

2 хв. читання

LongCat-2.0 від Meituan — відкрита модель на 1,6 трлн параметрів, навчена без чипів NVIDIA

Meituan відкрила LongCat-2.0 — агентну модель для коду на 1,6 трлн параметрів (MoE), навчену цілком на китайських чипах. Ліцензія MIT, контекст 1 млн токенів.

2 хв. читання

Mistral випустив OCR 4: не просто розпізнавання, а розбір документа

Mistral OCR 4 розпізнає структуру документа цілком — таблиці, формули, підписи, координати блоків, упевненість за словами. 170 мов, $4 за 1000 сторінок.

2 хв. читання

Claude Tag — постійний ШІ-колега у Slack: як працює, скільки коштує і де ламається

Claude Tag від Anthropic працює просто у Slack: як агент бере задачі в тредах, що в нього під капотом, скільки коштує на Team і Enterprise та де ламається.

19 хв. читання

GLM від Z.ai на своєму ПК: чи реально запустити фронтир-модель удома

Огляд GLM (Z.ai) для локального запуску у 2026: лінійка 4.6 і Flash, таблиця VRAM, агентний кодинг, MoE-offloading, ліцензія MIT, вимоги до заліза та українська.

26 хв. читання