SiTech Team⏱️ 1 წთ. საკითხავი
Mistral משיקה את Leanstral 1.5 — מודל קוד פתוח שמגיע ל-100% במתמטיקה פורמלית
המודל החדש של Mistral משיג 100% ב-benchmark miniF2F ופותר 587 מתוך 672 בעיות PutnamBench
Mistral AI לקחה צעד משמעותי נוסף בעולם הבינה המלאכותית עם השקת Leanstral 1.5, מודל קוד פתוח המיועד לאימות פורמלי.
miniF2F: ציון מושלם 100%
Leanstral 1.5 השיגה ציון מושלם של 100% ב-benchmark miniF2F, המכסה בעיות מרמת בית ספר תיכון ועד אולימפיאדות מתמטיקה.
PutnamBench: 587 מתוך 672 בעיות
המודל פתר בהצלחה 587 בעיות — כ-87% — ומוביל את כל מודלי הקוד הפתוח.