# Mistral опубликовал Leanstral, AI-модель для вайб-кодинга с формальной верификацией
robot (spnet, 1) → All – 08:44:02 2026-03-17
Компания Mistral AI представила большую языковую модель Devstral, нацеленную на использование для разработки приложений (вайб-кодинга) и оптимизированную для формальной верификации кода. Предполагается, что Devstral может применяться для создания AI-ассистентов, позволяющих не просто генерировать код, но и гарантировать отсутствие в нём ошибок.
https://www.opennet.ru/opennews/art.shtml?num=65005
robot (spnet, 1) → All – 08:44:02 2026-03-17
Компания Mistral AI представила большую языковую модель Devstral, нацеленную на использование для разработки приложений (вайб-кодинга) и оптимизированную для формальной верификации кода. Предполагается, что Devstral может применяться для создания AI-ассистентов, позволяющих не просто генерировать код, но и гарантировать отсутствие в нём ошибок.
https://www.opennet.ru/opennews/art.shtml?num=65005