Mistral Large 4 מצטרף ל-Open Math OS — והחלק הפתוח מגיע עם רשימת המתנה
- OrcaחדשOrcaCyber: GLM 5.3 Abliterated / Uncensored2026-11-04$3.00 / $5.00 לכל 1M טוקנים · 79 tok/s
- OrcaחדשOrcaCyber: Hy4 Abliterated / Uncensored2026-11-04$0.80 / $1.60 לכל 1M טוקנים · 106 tok/s
- OrcaחדשOrcaCyber: Kimi K3.1 Pro Abliterated / Uncensored2026-11-04$4.00 / $20.00 לכל 1M טוקנים · 26 tok/s
- orcaחדשOrca: OrcaC2 1.02026-10-303 tok/s
- OrcaחדשOrcaCyber: MiniMax M3.1 Flash Abliterated / Uncensored2026-10-29$0.80 / $1.60 לכל 1M טוקנים · 100 tok/s
- OrcaחדשOrcaCyber: GLM 5.3 Flash Abliterated / Uncensored2026-10-27$0.80 / $1.60 לכל 1M טוקנים · 106 tok/s
- OrcaחדשOrcaCyber: Qwen3.8 Flash Next Abliterated / Uncensored2026-10-26$0.80 / $1.60 לכל 1M טוקנים · 106 tok/s
- OrcaחדשOrcaCyber: MiMo V2.6 Flash Abliterated / Uncensored2026-10-26$0.80 / $1.60 לכל 1M טוקנים · 52 tok/s
- MoonshotחדשMoonshotAI: Kimi K3.1 Pro2026-10-2447אינטליגנציה
- OrcaחדשOrcaCyber: DeepSeek V4.1 Flash Abliterated / Uncensored2026-10-23$0.80 / $1.60 לכל 1M טוקנים · 81 tok/s
- minimaxMiniMax: M3.1 Flash2026-10-1929אינטליגנציה
- OrcaOrca: OrcaCyber Ultra 1.02026-10-17$5.00 / $10.00 לכל 1M טוקנים · 108 tok/s
- deepseekDeepSeek: DeepSeek V4.1 Flash 10172026-10-1733אינטליגנציה
- DeepSeekDeepSeek: DeepSeek V4.1 Flash2026-10-1740אינטליגנציה
- OrcaOrca: OrcaCyber Zero 1.52026-10-10$3.00 / $7.50 לכל 1M טוקנים · 55 tok/s
- openaiOpenAI: GPT-6.1 Sol2026-09-2955אינטליגנציה
- anthropicAnthropic: Claude Sonnet 5.52026-09-2855אינטליגנציה
- typesafeTypeSafe: Jev 1.132026-09-24$0.04 / $0.00 לכל 1M טוקנים · 160 tok/s
- OpenAIOpenAI: GPT-6 Luna2026-09-2228אינטליגנציה
- OpenAIOpenAI: GPT-6 Sol2026-09-2244אינטליגנציה
ב-3 בנובמבר 2026 הפך Mistral Large 4 למודל החדש ביותר ב-Open Math OS, סביבת העבודה המשותפת של קרן SAIR שבה מתמטיקאים וסוכני AI עובדים על אותם פרויקטים. ההכרזה הייתה פוסט קצר ולא עמוד השקה: משקלים פתוחים בנפח 1.05T, חלון הקשר של 1M, זמין באותו יום לצוותים מאושרים. דווקא הסעיף האחרון הזה הוא זה ששווה להתעכב עליו. Open Math OS נבנה אך ורק על מודלים פתוחים בדיוק כדי שהקהילה המתמטית תוכל לבדוק ולהריץ את מה שהיא מסתמכת עליו, והתוספת החדשה ביותר עדיין מגיעה מאחורי תור אישור. כך גם שלושת המודלים שכבר נמצאים ברשימה — DeepSeek V4.1 Flash, Kimi K3 ו-GLM-5.3-Flash.
מה Mistral למעשה אמרה, ומה היא השמיטה
הפוסט כולל שתי טענות טכניות ומונח גישה אחד. הטענות — 1.05 טריליון פרמטרים בסך הכול וחלון הקשר של מיליון טוקנים — תואמות את הצ'קפוינט שמיסטרל פרסמה ב-29 באוקטובר, ולכן אין מדובר באריתמטיקה שיווקית. מונח הגישה הוא "צוותים מאושרים", בלי תיאור של מה שנדרש לאישור, כמה זמן זה לוקח, או האם חוקר בודד יכול להיכנס בלי צוות.
מה שהפוסט אינו מכיל מאלף לא פחות. אין בו בנצ'מרק מתמטי. אין בו הצהרה ש-Mistral Large 4 הוערך על הוכחות Lean, על פורמליזציה, או על מי מהמשימות שלשמן נבנה Open Math OS. אין בו ציון האם המודל מקבל את אותה גישה לכלים כמו המתחרים הקיימים — ה-shell, כלי ה-PDF, בודק ה-Lean, שרתי ה-MCP — או סט מצומצם. ואין בו תמחור, מה שמתיישב עם סביבת עבודה שפועלת על מחשוב נתרם ולא על טוקנים בחיוב לפי שימוש.
אין בכך משום ביקורת על המודל. זהו תיאור של כמה עוד לא ידוע על הזיווג, שישה ימים לאחר שהמשקלים נחתו.
Open Math OS הוא סביבת עבודה, לא מודל
ההבחנה חשובה משום שהשם נשמע כמו כזה. Open Math OS הוא יוזמה של SAIR Foundation, שעלתה לאוויר בהשקה רכה ב-16 באוקטובר 2026, וטרנס טאו — שותף-מייסד של SAIR — תיאר אותה כשירות מתארח עם "שירותים וממשקי רשת הדומים למודלי AI חזיתיים" ולא משהו שמתקינים. סביבת ההרצה בקוד הפתוח שלה, Open Math Harness, כתובה ב-Rust ומובנית כמיקרו-קרנל מבוסס יכולות: כל תוכנית, כולל סוכנים, פועלת כתהליך מוגבל, ועקרון העיצוב המוצהר הוא "סוכנים מציעים, מתמטיקאים מחליטים."
סביב הגרעין הזה נמצאים הדברים שהופכים אותו לסביבת עבודה ולא לחלון צ'אט. חשבונות צוות, שבהם חברים יכולים לראות את הפרומפטים זה של זה. זיכרון פרויקט מתמשך. מצב חקר מקבילי בשם Ultramath שמריץ כמה סוכנים על אותה בעיה בו-זמנית. חיפוש הוכחות מאומת ב-Lean. תמיכה בשרתי MCP ובפלאגינים שמשתמשים בונים בעצמם. SAIR מעניקה חשבונות בחינם למבקשים מהאקדמיה ומריצה את כל הדבר על מחשוב נתרם, ולכן תקרות חשבון והתאמות הקצאה נמצאות במפורש על השולחן.
הרשימה שאיתה הושקה כללה אך ורק מודלים סיניים במשקלים פתוחים. זהו הפער ש-Mistral Large 4 ממלא: הוא המודל הראשון ב-Open Math OS שמגיע ממעבדה אירופית, והראשון שיש מאחוריו סיפור פריסה ריבונית צרפתי. עבור קרן שהמסר שלה הוא שליטה קהילתית בנתונים, קיום אפשרות שאינה סינית ואינה אמריקאית הוא תוספת ממשית ולא סתם סימון וי.
שאלת הרישיון שאיש בשרשור לא שאל
Mistral Large 4 אינו ברישיון Apache 2.0, וזהו שינוי מקודמו. המשקלים שלו מופצים תחת רישיון Mistral Ecosystem Open-Weight License, רישיון MIT מותאם המאפשר שימוש, שינוי, כוונון עדין ומסחור — עם חריג אחד. כל מי שמציע את המודל כמודל כשירות חייב להשיג רישיון מסחרי נפרד מ-Mistral.
Open Math OS הוא שירות אירוח שמאפשר לצוותים לקרוא למודל דרך ממשק אינטרנט. האם הסדר זה הוא "מודל כשירות" במובן של הרישיון, או שהוא נופל תחת הפטור למוצרי קצה משובצים, או שהוא מתאים לחריג הצר של העברת בקשות בלבד למודלים המתארחים במקום אחר — זו שאלה משפטית ש-SAIR לא התייחסה אליה בפומבי. גם Mistral לא אמרה. בהחלט ייתכן — ואף סביר — שיש הסכם מסחרי מאחורי ההודעה שאף אחד מהצדדים לא תיאר. אבל קורא שראה "משקלים פתוחים" והניח ששאלת האירוח נפתרה צריך לדעת שהיא לא, משום שאותו סעיף יחול על כל מעבדה שרוצה לבנות סביבת עבודה משותפת על המודל הזה.
למה חלון של 1M הוא יותר מאשר שורה בגיליון מפרט כאן
חלונות הקשר נמכרים בדרך כלל לפי נפח מסמכים, ומיליון טוקנים נשמע כמו ארון תיוק. בסביבת עבודה של מתמטיקה פורמלית, הגרסה השימושית שונה. פרויקט צובר קובץ Lean, את הייבוא שלו, מצב הוכחה, את הדיון סביב טקטיקה שנכשלה, ואת היסטוריית הסשן של הסוכן עצמו. כל זה חייב להיות באותה מסגרת כדי שסוכן יוכל לעשות משהו שאינו ניחוש. שרשורים ששורדים לאורך ימים הם המטרה של סביבת עבודה משותפת; חלון שמקצץ אותם הופך כל סשן להתנעה קרה.
זו טענה מדוע Mistral Large 4 מתאים לעיצוב, לא ראיה לכך שהוא מתפקד. קל לבלבל בין השניים בשבוע השקה, והפוסט של Mistral לא עוזר — הוא מציג את החלון כמספר כותרת לצד מספר הפרמטרים, וזו דקדוק של גיליון מפרט, לא הערכה.
מה צוות מאושר מקבל, ומה שעדיין לא נאמר
• הערכה — אין תוצאות מתמטיות שפורסמו עבור Mistral Large 4 ב-Open Math OS; מודלי ההשקה של הרשימה תוארו על ידי טאו כבערך שנה מאחורי החזית וכטובים בפורמליזציה ב-Lean בגודל בינוני, וזו טענת יכולת, לא ציון.
• שוויון בכלים — לא צוין אם המודל החדש מקבל את Ultramath, חיפוש הוכחות ואת מערך הכלים המדעי המלא, או תת-קבוצה מוגבלת בזמן שהוא מוערך.
• מגבלות — אין מגבלות קצב, מכסות או תקרות הקשר מפורסמות בתוך סביבת העבודה, שבה חלון של 1M עשוי להיחתך על ידי הפלטפורמה ללא קשר למה שהמודל תומך בו.
• מדיניות נתונים — טאו כתב באוקטובר ש-SAIR רצתה "{{1}}קודם לאסוף קצת נתוני שימוש לפני שנגבש את המדיניות שלנו.{{/1}}" זו הצהרה כנה, וגם סיבה לקרוא את התנאים הנוכחיים לפני שמכניסים הוכחה שטרם פורסמה לפרויקט.
• בחירה — אין הסבר כיצד צוות בוחר מודל לכל פרויקט, אם הבחירה היא לכל צ׳אט או לכל פרויקט, או אם SAIR מנתב ביניהם אוטומטית.
הדפוס עקבי: ההודעה מתארת מודל שמתווסף לקו מוצרים, ולא יכולת שמופגנת. אם אתם מחליטים אם להגיש מועמדות, זהו המצב הכנה של הראיות.
אם מה שאתה רוצה הוא המודלים ולא סביבת העבודה
Open Math OS הוא החלק המעניין בסיפור הזה, אבל הוא לא הדרך היחידה להגיע למודלים שהוא מריץ. GLM-5.3-Flash נמצא בקטלוג של OrcaRouter במחיר המחירון של הספק, וכך גם Kimi K3 — שניים משלושת המודלים שאיתם הושק סביבת העבודה, שניתנים לקריאה מ-API אחד לצד יותר מ-200 אחרים, עם מעבר אוטומטי בין ספקים בעת תקלה ועם 0% תוספת על התעריף של הספק עצמו. ה-DSL לניתוב יחבר אותם לקריאה אחת אם רוצים פאנל ולא תשובה יחידה, וזה קירוב גס למה ש-Ultramath עושה בתוך סביבת העבודה בלי בודק Lean מחובר.
Mistral Large 4 אינו בקטלוג שלנו, ולא נעמיד פנים אחרת. אם אתם רוצים את המודל הזה ספציפית, המסלולים היום הם ה-API של Mistral עצמה, צ'קפוינטים במשקלים פתוחים ב-Hugging Face, או שותפי האירוח של צד שלישי של הספק. הפשרה אמיתית: סביבת העבודה נותנת לכם את הפרויקט המשותף, את הכלים ואת בדיקת ההוכחות; ה-API נותן לכם את המודל בלבד, במחיר שאפשר למדוד.
מה לצפות בהמשך
שלושה דברים יהפכו את זה מעדכון רשימת מודלים לתוצאה. הערכה לכל מודל בנפרד בתוך Open Math OS — אפילו קטנה, סט של פורמליזציות ב-Lean שנמדדות באותו אופן עבור כל ארבעת המודלים — תהיה הראיה הציבורית הראשונה לשאלה איזה מודל מתמטיקאי צריך לבחור לאיזו משימה. מדיניות גישה שתפורסם תפתור את המתח בין "פתוח" ל"מאושר". והצהרה מ-SAIR או Mistral על האופן שבו הסדר האירוח מתיישב עם סעיף מודל-כשירות (model-as-a-service) תאמר לכל מעבדה אחרת אם היא יכולה לבנות את אותו הדבר.
עד אז, הסיכום המדויק הוא צר: מודל עם משקולות פתוחות בעל טריליון פרמטרים וחלון של מיליון הוא כעת אחת האפשרויות בסביבת מחקר שעדיין, לפי תיאורו של מייסדה עצמו, נמצאת בגרסה מוקדמת מאוד.
השוואות במאמר הזה1
זוהה מתוך המאמר הזה · בנצ'מרקים: Artificial Analysis · מתעדכן יומית
