Mistral опубликовал Leanstral, AI-модель для вайб-кодинга с формальной верификацией

Дата: 2026-03-18

Компания Mistral AI представила большую языковую модель Leanstral, нацеленную на использование для разработки приложений (вайб-кодинга) и оптимизированную для формальной верификации кода. Предполагается, что Leanstral может применяться для создания AI-ассистентов, позволяющих не просто генерировать код, но и гарантировать отсутствие в нём ошибок. Источник: opennet.ru

Последние новости: