שישה מאמרים מתמטיים בסיוע AI — אבל לא פתרונות של צ'אטבוט לבדו

מטא דיווחה ב־2 באוקטובר כי מתמטיקאים שעבדו עם Muse Spark פרסמו שישה מאמרים, וחמישה מהם, לטענת החברה, עוסקים בשאלות שעד אז נותרו פתוחות. מדובר במחקר בהובלת בני אדם ובסיוע AI: המתמטיקאים בחרו את הכיוונים ופיתחו את העבודה, וקבוצה נוספת של מתמטיקאים בדקה אותה. זו אינה טענה שצ'אטבוט פתר שש בעיות באופן עצמאי. 17

על מה עוסקים המאמרים?

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

• הסתברות וגאומטריה: The Strict Threshold for Gaussian Ellipsoid Fitting קובע סף סביב (n \sim d^2/4) לשאלה אם קיימת מטריצה חיובית־למחצה שמקיימת אילוצים המוגדרים באמצעות וקטורים גאוסיים אקראיים. 1
• תורת החבורות: תוצאה אחת מציגה חבורה בת 384 איברים שמפריכה השערה שהוצעה ב־2024. 20
• אלגברה: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez עוסק בהשערה הנזכרת בכותרת המאמר. 4
• אופטימיזציה: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles בוחן אם סוג מסוים של הרפיה מבוססת־מחזורים הוא הדוק. 4
• פיזיקה מתמטית: ברשימת הפרסומים מופיע גם המאמר String Two-Point Function = Height Function on a Curve. 4
• משוואות דיפרנציאליות: הרשימה כוללת עבודה על התבדרות בזמן סופי של פתרונות רדיאליים בעלי אנרגיה שלילית למשוואת שרדינגר הלא־ליניארית הביהרמונית הקריטית למסה.

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

איך עבדו החוקרים עם Muse Spark?

החוקרים השתמשו ב־Muse Spark בגרסאות 1.1 ו־1.2, במצב Thinking, דרך ממשק הצ'אט הרגיל של meta.ai — בלי מערכת מחקר ייעודית שנבנתה במיוחד לתהליך. לפי מטא, המתמטיקאים הובילו את המחקר ופיתחו טיעונים יחד עם המודל, וקבוצה נוספת של מתמטיקאים בדקה את העבודה. המאמרים גם מסמנים אילו קטעים נוסחו בעיקר בידי החוקרים ואילו נכתבו בסיוע AI. 17

ההבחנה הזאת חשובה כשמפרשים את התוצאות: מודל יכול לתרום רעיונות, טיעונים או קוד, אבל לפי תיאור התהליך, בחירת הבעיות והבדיקה היו באחריות החוקרים. בדוגמה מתורת החבורות, דיווח חיצוני מציין ש־Muse Spark כתב תוכנית חיפוש עבור GAP, תוכנה מתמטית; המתמטיקאים בדקו את הדוגמה הנגדית והשלימו את ההוכחה. המודל לא אישר את התוצאה של עצמו. 20

מה עדיין לא ברור?

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

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

Muse Spark הוצג ב־8 באפריל 2026 כמודל הראשון של Meta Superintelligence Labs. המאמרים מאוקטובר מציגים שימוש מאוחר יותר במודל במסגרת שיתוף פעולה מחקרי, אך אין בהם הוכחה לכך שטענות מתמטיות שנוצרות בסיוע AI חפות מטעויות. כדי להעריך את התוצאות יש לבחון את הטיעונים עצמם ואת האימות העצמאי שיקבלו בהמשך.