Mistral AI 发布 Leanstral 1.5：面向所有人的形式化验证模型

Mistral AI 发布 Leanstral 1.5，一个拥有 6B 活跃参数的 Apache-2.0 开源形式化验证模型。该模型在 miniF2F 上达到 100%，在 PutnamBench 上解决 587/672 道题目，在 FATE-H 上达到 87%、FATE-X 上达到 34%，均为 SOTA。