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.
#Lean 4
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.