Big Labs Watch
Leanstral 1.5 от Mistral нацелился на формальную верификацию и поиск ошибок в коде
Mistral выпустила Leanstral 1.5 — открытую модель для формальной верификации и работы с доказательствами в Lean 4. На фоне обычных новостей о чат-ботах это более узкий, но важный сигнал: крупные поставщики моделей всё активнее идут в инструменты, где ценится не эффектность ответа, а проверяемость и точность.