📌 Mistral AI випустила Leanstral 1.5 для формальної верифікації Mistral AI оновила Leanstral — спеціалізовану модель для роботи з мовою Lean 4, яка використовується для формального доведення теорем і перевірки коректності програм. Версія 1.5 отримала новий етап навчання та значно покращила результати на профільних бенчмарках. 🔆 Детальніше • Призначена для формальної верифікації математичних доведень і програмного коду в Lean 4. • Зберегла архітектуру MoE: 119 млрд загальних і 6.5 млрд активних п