SiTech AI Team1 דק׳ קריאה
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% — ומוביל את כל מודלי הקוד הפתוח.
שתף חוויה דיגיטלית
SiTech — פיתוח אתרים בכוח ה-AI
אנחנו בונים אתרים מהירים ומודרניים ומשלבים AI בתהליכי עבודה אמיתיים. יש לכם פרויקט או שאלה? נשמח לעזור.