Tag: リーンストラル

AI 数学 ソフトウェア ミストラル リーンストラル

数学の証明からコード検証まで、AIが論理を検査する？ミストラル（Mistral）の「リーンストラル 1.5」公開

複雑な数学的証明やソフトウェアコードの誤りを自動的に検証してくれるAI、ミストラルの新しいオープンソースモデル「リーンストラル 1.5」について紹介します。

Keep Reading