Leanstral 1.5: 問題ごとに 300 ドルではなく 4 ドルで正式な証明が可能

テクノロジー 06/07/2026 Heise Online 👁 19

⚡ クイックサマリー

Mistral AI は、Apache 2.0 ライセンスに基づいて Leanstral 1.5 をリリースします。ミストラル氏によると、このモデルはパットナムの 672 件のタスクのうち 587 件を解決し、コード内のバグを自動的に検出します。