Meta פרסמה ב־2 באוקטובר 2026 שישה מאמרים מתמטיים שנכתבו בשיתוף פעולה בין מתמטיקאים לבין Muse Spark, מודל הבינה המלאכותית של החברה. לפי Meta, חמישה מהמאמרים מציגים תשובות לשאלות מחקר שהיו פתוחות עד כה, בתחומים כמו הסתברות, משוואות דיפרנציאליות, תורת החבורות ואופטימיזציה.
הפרט המפתיע הוא הכלי. לדברי Meta, החוקרים השתמשו ב־Muse Spark בגרסאות 1.1 ו־1.2, במצב Thinking, דרך ממשק הצ׳אט הרגיל של meta.ai. לא נבנתה סביב המודל מערכת מחקר ייעודית.
כללי העבודה
Meta מפרטת ארבעה עקרונות שליוו את שיתוף הפעולה:
- צוות מתמטיקאים הוביל את המחקר ועבד עם המודל כדי לבחון רעיונות ולפתח את הטיעונים.
- קבוצה שנייה של מתמטיקאים בדקה את העבודה.
- כל מאמר מסמן אילו קטעים נוסחו בעיקר בידי החוקרים ואילו בידי ה־AI.
- כל מאמר נותן קרדיט למחקר הקודם שעליו הוא נשען.
מי עשה מה
החלוקה משתנה ממאמר למאמר. בתורת החבורות, Muse Spark כתב תוכנית חיפוש בתוכנה המתמטית GAP, והיא מצאה דוגמה נגדית: חבורה בת 384 איברים שמפריכה השערה מ־2024, שלפיה כל חבורה ״חצי־אבלית״ היא גם ״מונומיאלית״. החוקרות אימתו את התוצאה והשלימו את הטיעון.
במאמר על משוואת שרדינגר הלא־לינארית הביהרמונית, החוקר בחר את הבעיה ואת רעיונות ההוכחה המרכזיים, והמודל עזר בחישובים ובבדיקת טיעונים. לפי Meta, התוצאה סוגרת שאלה שנותרה פתוחה מאז 2015, ומאשרת תחזית מסימולציות ממחשב משנת 2002: גלים מסוג מסוים חייבים לקרוס תוך זמן סופי. במאמר שמחבר בין תורת המספרים לתורת מיתרים p־אדית, המודל ניסח שלושה מהחלקים הטכניים המרכזיים, והחוקרים בדקו, תיקנו וליטשו אותם.
הם לא היו לבד
Meta מציינת בעצמה שאחרי שסיימה את העבודה התברר לה שצוותים אחרים פרסמו, באופן בלתי תלוי ובשיטות אחרות, פתרונות לחלק מאותן בעיות. בבעיית התאמת האליפסואיד לנקודות גאוסיאניות, למשל, שלוש עבודות נוספות פורסמו באוגוסט 2026. בתורת החבורות, סוכן AI בשם Nilradical דיווח ב־16 בספטמבר על דוגמה נגדית אחרת לאותה השערה. החברה מזכירה את העבודות האלה במאמרים עצמם.
איך לקרוא את זה
ההודעה לא אומרת שמודל AI פותר מתמטיקה לבד. בכל אחד מהמקרים היו מתמטיקאים שבחרו את השאלה, הובילו את העבודה ובדקו אותה. מה שהיא כן מראה הוא שמודל צ׳אט שזמין לציבור יכול לשמש שותף עבודה במחקר אמיתי, כשלצידו מומחה שיודע לבדוק כל שלב. כדאי גם לזכור שהמאמרים פורסמו על ידי Meta עצמה, ואת המשקל האמיתי שלהם תקבע הקהילה המתמטית שתקרא ותבחן אותם.
העיקרון הזה נכון גם מחוץ לאקדמיה: תוצר של מודל הוא נקודת התחלה, ולא הוכחה. אם אתם רוצים להרגיל את עצמכם לבדוק טענות מול המקור, המדריך שלנו לבדיקת טענות ויראליות מסביר איך עושים את זה. עוד עדכונים מחכים במדור חדשות AI.
מקורות
- Meta AI Research, הבלוג הרשמי: Solving Open Research Problems Together, 2 באוקטובר 2026
- Meta AI Research, עמוד הפרסום: String Two-Point Function = Height Function on a Curve, 2 באוקטובר 2026
