戻るモデル·Mistral AI一次·7/2（木） 22:55· 7/2（木）Mistral、Leanstral 1.5 を公開Mistral AI要AI要約3行で・Mistral が Leanstral 1.5 を公開しました。・Apache-2.0 で重みを無償提供します。・PutnamBench は 672 問中 587 問を解きました。AI要約です。詳しくは出典へ。誤りを報告Karunews が選んだ理由形式検証に特化したモデルの性能と公開方法が示されており、証明工学の実務で使えるかを判断する材料になります。典出典1ソース · 一次情報Mistral AI一次7/2（木） 22:55Leanstral 1.5: Proof Abundance for Allmistral.ai出典を読む