LModel ReleasesLeanstral от Mistral AI: Первое Open-Source Агентство для Lean 4Mistral AI представила Leanstral — модель с 119B параметрами для формальной верификации кода. Она дешевле и мощнее конкурентов.около 1 месяца назад5 мин чтенияЧитать статью