GPT
M

Mathstral-7B-v0.1

קוד פתוח

mistralaiapache-2.02024-07-16

  • mistral-common
  • safetensors
  • mistral
  • vllm
  • eval-results

מודל שפה קומפקטי שנבנה מראש כדי לפתור בעיות במתמטיקה ובמדעים. הוא מתאים למי שחייב הסקת מסקנות כמותית מדויקת מקומית ובלי מפלצות של עשרות מיליארדי פרמטרים.

  • 7.2Bפרמטרים
  • 32,768טוקנים בהקשר
  • 40.5 GBמשקל הקבצים
  • 13,882הורדות בחודש

מה זה

מיסטראל לקחו את הארכיטקטורה המוכרת של שבעה מיליארד פרמטרים ואימנו אותה מחדש עם דגש כבד על מתמטיקה ומדעים. בניגוד למודלים כלליים שנוטים להמציא חישובים או להישבר בשאלות מילוליות מורכבות, הוא מכוון ישירות לחשיבה אנליטית מסודרת. יש לו חלון הקשר של 32,768 טוקנים, כך שאפשר להזין לו מסמכים מדעיים ארוכים, קטעי הוכחות או כמה שאלות במקביל בלי לחתוך את הטקסט.

במבחנים הקשים באמת רואים את ההבדל בינו לבין מודלים מקבילים. במבחן MATH הוא מגיע לציון של 56.6 נקודות, כמעט זהה לקיואן 2 ועוקף בהרבה את דיפסיק מאת' ואת לאמה 3. במבחני תחרות כמו אודיסי מאת' או AMC הוא פותח פער יפה מול המתחרים, מה שמראה שההיגיון המתמטי שלו עמוק יותר משינון נוסחאות בסיסי.

מתאים ל

  • עוזר למחקר מדעי

    ניתוח משוואות ופירוק הוכחות במאמרים מדעיים ארוכים תודות לחלון הקשר הרחב.

  • פתרון בעיות הנדסיות

    המרת שאלות מילוליות בפיזיקה והנדסה לשלבי חישוב מדויקים בלי להזדקק למודל ענק.

  • בדיקת שיעורי בית

    אימות שלבי פתרון והסבר צעדים במתמטיקה תיכונית ואקדמית במערכות למידה.

איפה זה נופל

במבחן GSM8K הבסיסי הוא קיבל 77.1 נקודות, תוצאה נמוכה יותר מדיפסיק מאת' שמגיע ל־80.6. במבחן AIME הקשה ביותר הוא פתר רק 2 שאלות מתוך 30, שזה אמנם שווה ערך לקיואן המוביל אבל ממחיש בבירור שמתמטיקה אולימפית מורכבת עדיין גדולה עליו. אל תצפו ממנו להיות חזק בכתיבה חופשית, בשיחה כללית או בעברית, כי כל האופטימיזציה שלו הוקדשה לחשיבה מדעית טהורה.

שאלות
נפוצות

האם הוא יודע לתרגם ולפתור בעיות שנכתבו בעברית?

האימון שלו ממוקד לחלוטין באנגלית ובסימול מתמטי תקני. הוא עלול לפענח עברית בסיסית אבל יתקשה מאוד בניסוחים מילוליים מקומיים, ולכן עדיף לתרגם את השאלות לאנגלית לפני הפנייה אליו.

האם שווה להחליף מודל כללי כמו לאמה 3 במודל הזה?

אם המוצר שלכם עוסק בחישובים, פיזיקה, מתמטיקה או הוכחות לוגיות, התשובה היא כן. המבחנים מראים שבשאלות מתמטיות מורכבות הוא עוקף מודלים כלליים בגודל הזה בפער ניכר.

איך מריצים

המשקל הכולל של הקבצים מגיע ל־40.5 גיגה בייט בדיוק מלא, אבל בריצה מעשית ב־bfloat16 תצטרכו כרטיס מסך עם לפחות 16 עד 24 גיגה זיכרון כדי לעבוד בנוחות עם חלון הקשר מלא. אפשר להריץ אותו מקומית דרך הספרייה הייעודית של מיסטראל בשורת הפקודה, או לטעון אותו בקוד פייתון רגיל עם טרנספורמרס.

אם אין לכם חומרה ייעודית מקומית או שרת ענן עם מעבד גרפי מתאים, עדיף לפנות לממשקי ענן שמגישים אותו. להרים שרת בשביל מודל של שבעה מיליארד פרמטרים זה הגיוני רק אם אתם חייבים פרטיות מוחלטת למידע או שאתם מייצרים נפח שאילתות גדול וקבוע.

pip install -U huggingface_hub
hf download mistralai/Mathstral-7B-v0.1

הרישיון

הקוד והמשקולות משוחררים תחת רישיון אפאצ'י 2.0 המלא. מותר להשתמש בו לצרכים מסחריים, לשנות אותו, להטמיע אותו במוצר שלכם או לאמן עליו הלאה בלי לשלם תמלוגים, כל עוד אתם שומרים על הודעת זכויות היוצרים המקורית.

  • שימוש מסחרי
  • שינוי הקוד
  • הפצה מחדש
  • שימוש בפטנטים

הרישיון המלא בעמוד המודל ↗