Model ReleasesMistral AI представила Leanstral — модель с 119B параметрами для формальной верификации кода. Она дешевле и мощнее конкурентов.6 месяцев назад5 мин чтения