#Leanstral

Mistral、バグを見つけるAI「Leanstral 1.5」公開

仏Mistral AIが形式検証AIモデル「Leanstral 1.5」をオープンソースで公開した。数学的な証明を使いソフトウエアの動作を検証し、既存の公開コードから未知のバグを複数発見した。