Свежая пара релизов на Hugging Face показывает, как открытый ИИ уходит от общего разговора к узким рабочим задачам. Mistral выпустила Leanstral 1.5 для доказательств в Lean 4, а Poolside — Laguna XS 2.1-FP8, которая обещает агентную разработку с длинным контекстом на более доступном железе.
В выпуске по рынку ИИ-моделей — новый релиз Qwen от Alibaba, обновление Leanstral 1.5 от Mistral для формальной верификации, а также два заметных сигнала с рынка: бурный рост Ollama и крупный раунд Prime Intellect на инфраструктуру для корпоративных агентных систем.
Mistral объявила, что в Studio появился единый слой управления подсказками и навыками с версиями, владельцами и отслеживанием изменений. Это важный шаг от хаотичных экспериментов к более управляемой командной работе над поведением ИИ-систем.
Mistral представила Robostral Navigate — модель для навигации роботов, которая работает по изображению с одной обычной камеры и текстовой инструкции. Для рынка это важный сигнал: компания явно расширяет ставку с текстовых и кодовых сценариев на прикладную робототехнику, где важны цена, простота аппаратной части и работа в незнакомой среде.
В сегодняшнем выпуске по моделям три заметные истории: OpenAI начала ограниченный показ линейки GPT-5.6, Mistral вышла в робототехнику с Robostral Navigate, а Cohere открыла специализированную модель распознавания арабской речи. Вместе они показывают, как рынок одновременно уходит в более тонкую ценовую сегментацию, физический ИИ и узкие языковые модели под конкретные задачи.
Mistral выпустила Leanstral 1.5 — открытую модель для формальной верификации и работы с доказательствами в Lean 4. На фоне обычных новостей о чат-ботах это более узкий, но важный сигнал: крупные поставщики моделей всё активнее идут в инструменты, где ценится не эффектность ответа, а проверяемость и точность.
В сегодняшнем обзоре моделей три заметные новости: Anthropic возвращает более широкий доступ к своим флагманским системам, Google выпускает ускоренную и более дешевую версию Nano Banana 2 Lite для изображений, а Mistral добавляет еще один аргумент в пользу открытых коммерческих моделей вне американских гигантов.
Главная новость выпуска — Alibaba Cloud показала Qwen-RobotNav: навигационную модель на базе Qwen3-VL, рассчитанную сразу на несколько типов задач, от поиска объектов до автономного вождения. Рядом — релиз Mistral OCR 4, который усиливает ставку Mistral на прикладные модели для извлечения структуры из документов и развёртывания внутри собственной инфраструктуры компании.
Mistral представила Mistral OCR 4 — специализированную модель для извлечения структуры и текста из документов. Она умеет выделять блоки, возвращать координаты и оценку уверенности, что делает её заметным обновлением для корпоративного поиска и обработки архивов.
