Berita dari CoinWorld, biaya penyelesaian setiap soal dari model Leanstral 1.5 buatan Mistral yang bersifat open-source sekitar 4 dolar AS. Total parameter model mencapai 119 miliar, dengan parameter aktif sekitar 6,5 miliar, menggunakan lisensi Apache-2.0, dan menyediakan akses API gratis. Evaluasi resmi menunjukkan bahwa Leanstral 1.5 berhasil memecahkan 587 dari 672 soal dalam Putnambench, mencapai masing-masing 87% dan 34% pada tolok ukur aljabar abstrak Fate-H dan Fate-X, memecahkan rekor performa terbaik di antara model serupa. Selain itu, Leanstral 1.5 juga digunakan untuk verifikasi kode, dan tim menemukan 11 bug nyata di 57 repositori Rust sumber terbuka, di mana 5 di antaranya sebelumnya belum pernah dilaporkan.
CoinNetwork

