Mistral'den Yazılım Dünyasını Sarsacak Hamle: Leanstral 1.5 Yayınlandı
Mistral AI, matematiksel kanıtlama ve kod doğrulama odaklı açık kaynaklı yeni modeli Leanstral 1.5 ile 57 farklı depodaki gizli yazılım hatalarını tespit etti.
#formal doğrulama
Mistral AI, matematiksel kanıtlama ve kod doğrulama odaklı açık kaynaklı yeni modeli Leanstral 1.5 ile 57 farklı depodaki gizli yazılım hatalarını tespit etti.