Leanstral 1.5: Pembuktian formal seharga $4, bukan $300 per soal
⚡ ⚡ Ringkasan Cepat
Mistral AI merilis Leanstral 1.5 di bawah lisensi Apache 2.0.
Mistral AI merilis Leanstral 1.5 di bawah lisensi Apache 2.0. Menurut Mistral, model tersebut menyelesaikan 587 dari 672 tugas Putnam dan secara otomatis menemukan bug dalam kode.
📰 📰 Artikel Terkait
Lebih banyak balistik, lebih banyak kematian: Rusia mengandalkan taktik baru dalam menyerang Kiev
n-tv
Apple: Kerangka kerja AI “Trust Insights” dimaksudkan untuk melindungi dari rekayasa sosial
Heise Online
Data penumpang: Otoritas Jerman memindai lebih dari 627 juta catatan pada tahun 2025
Heise Online
Pandangan Reisner tentang garis depan: "Ini adalah titik balik yang menentukan dalam konflik ini"
n-tv
Xbox: Microsoft ingin menyingkirkan lima studio dan memangkas 3.200 pekerjaan
Heise Online