Mistral AI、形式証明アシスタントLean 4向けAI「Leanstral」をオープンソース公開
Mistral AIは2026年3月16日(現地時間)、形式証明アシスタント「Lean 4」向けに設計されたオープンソースコードエージェント「Leanstral」を発表した。このエージェントは、複雑な数学的オブジェクトやソフトウェア仕様の形式証明を支援する。Apache 2.0ライセンスの下でウェイトが公開され、Mistral vibeのエージェントモードと無料APIエンドポイントを通じて利用可能となる。