Mistral AI「Leanstral 1.5」公開！数学証明を自動化

Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援

上級 GIGAZINE 専門メディア発表・公開 2026-07-01T07:05:00 約1分

編集メモ: 推論を数学的に証明するAIの登場は、ソフトウェア開発においてAIが単なるコード生成を超え、バグのない厳密な検証作業を担う時代が到来していることを意味しています。

EDITORIAL SIGNAL

このニュースの影響

重要度中

製品選定や業務・開発手順に影響する可能性があります。

正式提供地域、料金、API・利用条件

タイトル・要約の語句に基づく自動判定です。最終判断は公式発表・一次資料をご確認ください。

Mistral AIは、形式証明ツール「Lean 4」での数学の証明やプログラミングの正当性検証を支援するAIモデル「Leanstral 1.5」を公開しました。Mistral Labsにて無料で利用可能です。