Mistral AI·· 2026-07-02
Mistral、形式検証モデルLeanstral 1.5を公開
Leanstral 1.5: Proof Abundance for All
AI による要約
MistralはApache-2.0のLeanstral 1.5を公開した。総パラメーター119B、稼働パラメーター6Bで形式検証を大幅強化した。miniF2Fで100%、PutnamBenchの672問中587問を解き、FATE-Hで87%、FATE-Xで34%の現時点の最高成績を達成した。
入選の記録
基準 60公式・一次情報1 回目 622 回目 62
入選二回の合計 124 ≥ 基準の 2 倍 120
- 情報源の区分
- 公式・一次情報、この区分の基準は 60 点
- 予備審査
- 通過：Mistral发布AI模型Leanstral 1.5，含训练与评测
- 推薦理由
- 形式検証ベンチマークの成績と公開先は、証明開発での利用可能性を判断する材料になる。
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：Mistral AI · mistral.ai