Mistral AI

Mistral AIのLeanstral 1.5、miniF2Fで100%達成し5つの実バグを発見

Mistral AIが開発したオープンソースモデル「Leanstral 1.5」が、形式数学ベンチマークminiF2Fで100%のスコアを達成し、さらに57のオープンソースリポジトリから5つの未発見バグを特定しました。これは形式検証と言語モデルの統合における重要な進歩を示しています。