Mistral AI

LeanstralMistral AIの形式検証エージェントでバイブコーディングのバグを数学的に消す

by

2026年3月16日、Mistral AIが「Leanstral」を公開した。Lean 4向けの形式検証AIエージェントで、オープンソース（Apache 2.0）。AIが生成したコードの正しさを「数学的に証明」する。11 … 続きを読む

JAKO