#code agent のAIニュース

Mistral AI、Apache-2.0ライセンスのLean 4用コードエージェント「Leanstral 1.5」を公開しPutnamBenchで672問中587問を解決

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