
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.

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.