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-приватность и русский.
