SiTech Team⏱️ 1 წთ. საკითხავი
Mistral Leanstral 1.5-i Təqdim Etdi — Formal Riyaziyyatda 100% Nəticə Göstərən Açıq Mənbə Modeli
Mistral-ın yeni açıq mənbə modeli Leanstral 1.5 miniF2F benchmarkında 100% nəticə göstərir
Mistral AI süni intellekt dünyasında Leanstral 1.5-i təqdim etdi — Apache 2.0 lisenziyası ilə formal doğrulama üçün hazırlanmış açıq mənbə modeli.
miniF2F: 100% Mükəmməl Nəticə
Leanstral 1.5 miniF2F benchmarkında 100% nəticə göstərdi.