
17 марта 2026, 16:10
Mistral AI показала Leanstral: кодинг, который можно не проверять
Французская Mistral AI представила Leanstral – открытого ИИ-агента, который не просто генерирует, а ещё и формально доказывает корректность своих же творений. Это помощник, который работает в связке с