Mistral AI merilis Leanstral 1.5, model sumber terbuka untuk verifikasi formal di Lean 4. Selain matematika, model tersebut menemukan lima bug yang sebelumnya tidak diketahui saat memindai 57 repositori sumber terbuka. Artikel Mistral terbuka…
Rilis bobot terbuka menekan harga tertutup dan memperluas akses, mengubah perhitungan build-vs-buy untuk keseluruhan ekosistem.
Perusahaan dan model yang disebutkan dalam cerita ini — buka halaman mereka dan harga langsung
Ringkasan dikumpulkan untuk informasi saja — ikuti tautan sumber untuk cerita selengkapnya. Entri demo bersifat ilustratif.