Mistral AIが数学の証明やプログラムの正しさを機械的に確かめる作業を支援するAIモデル「Leanstral 1.5」を2026年6月30日に公開しました。Leanstral 1.5は形式証明ツール「Lean 4」向けの自動定理証明と自動形式化に最適化されたモデルで、Mistral AIのLabs枠で無料利用できると案内されています。Leanstral 1.5 - Mistral AI | Mistral Docshttps://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06Mistral ships Leanst