Mistral のオープンソース Leanstral 1.5 は、正式な数学ベンチマークに合格し、コード内の実際のバグを捕捉します

Mistral AI は、Lean 4 の形式検証用のオープンソース モデルである Leanstral 1.5 をリリースしました。このモデルは、57 のオープンソース リポジトリをスキャンしているときに、数学以外にも、これまで知られていなかった 5 つのバグを発見しました。ミストラルの記事がオープン…

概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。