SiTech Team⏱️ 1 წთ. საკითხავი
Mistral, Leanstral 1.5'i Yayınladı — Açık Kaynak Modeliyle Formal Matematikte %100 Başarı
Mistral'ın yeni açık kaynak modeli Leanstral 1.5, miniF2F benchmark'ında %100 başarıya ulaştı ve PutnamBench'te 672 problemden 587'sini çözdü.
Mistral AI, yapay zeka dünyasında bir adım daha atarak Leanstral 1.5'i tanıttı — formal doğrulama için özel olarak geliştirilmiş açık kaynak bir model.
miniF2F: %100 Mükemmel Skor
Leanstral 1.5, miniF2F benchmark'ında %100'lük mükemmel bir skor elde etti. Bu benchmark, lise seviyesinden matematik olimpiyatlarına kadar çeşitli problemleri kapsıyor.
PutnamBench: 672 Problemden 587'si
Model, prestijli Putnam yarışmasından 672 problemi başarıyla çözerek tüm açık kaynak modeller arasında lider oldu.