Mistral відкрила Leanstral 1.5: 100% на формальній математиці та 5 знайдених багів
Mistral випустила open-source модель Leanstral 1.5 (Apache 2.0) для формальної верифікації в Lean 4: 100% на miniF2F і 5 раніше невідомих багів у 57 репозиторіях.
Mistral випустив OCR 4: не просто розпізнавання, а розбір документа
Mistral OCR 4 розпізнає структуру документа цілком — таблиці, формули, підписи, координати блоків, упевненість за словами. 170 мов, $4 за 1000 сторінок.
Mistral Small на своєму ПК: європейська модель під одну відеокарту
Огляд Mistral Small для локального запуску у 2026: домашня 3.x проти серверної 4, таблиця VRAM, функції та агенти, ліцензія Apache 2.0, EU-приватність і українська.
