#定理証明

【速報】Mistral AI、定理証明エージェント「Leanstral 1.5」を発表

Mistral AIは2026年7月2日(現地時間)、形式検証と定理証明に特化したモデル「Leanstral 1.5」をリリースした。同モデルは6Bのアクティブパラメータを持ち、PutnamBenchの672問中587問を解決。FATE-Hで87%、FATE-Xで34%を達成し、それぞれで新たなSOTAを記録した。Apache-2.0ライセンスでオープンソースとして公開され、無料APIでも提供される。