1件の記事
Mistral AIは、証明支援ツールLean 4向けのコードエージェントモデル「Leanstral 1.5」をApache-2.0ライセンスで公開した。同モデルは自動定理証明と証明工学を対象とし、無料APIも提供開始された。