Model open-source bisa memecahkan soal matematika olimpiade sampai level seperti ini, biaya per soalnya hanya 4 dolar, rasanya logika penetapan harga model komersial tertutup perlu dihitung ulang.

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.