ミストラルは、Lean 4プログラミング言語向けの最初のオープンソースコードエージェントである「Leanstral」をリリースしました。

このツールは、研究や重要なソフトウェアといったハイリスクな分野で、AI生成コードを手動でレビューするというボトルネックを克服するための支援を目指しています。それは、速度と安全性の向上を狙っています。

AI生成：要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について