כשהמתמטיקאים הכי מעוטרים בעולם, ובראשם טרנס טאו, חותמים ביחד על מכתב אחד — זה כבר לא רעש רקע אקדמי. זו קריאת תיגר על מודל הפרסום של תעשיית ה-AI כולה.
יש הצהרות אקדמיות שנשארות בתוך המחלקה, ויש כאלה שמרעידות את התעשייה. מה שקרה השבוע שייך לקטגוריה השנייה: 25 חתני מדליית פילדס — הפרס היוקרתי ביותר במתמטיקה — חתמו על הצהרה משותפת שכותרתה "A Severe Misalignment of AI in Mathematics", שפורסמה בבלוג של טרנס טאו. ברשימת החותמים טאו עצמו, פטר שולצה, מרינה ויאזובסקה, קאוצ'ר בירקאר, ג'ון הא, מרטין היירר, מקסים קונצביץ', ג'יימס מיינרד, מנג'ול בהארגאווה ויו דנג — מחזורי פילדס שנפרשים מ-1978 ועד 2026. מי שמכיר את הקהילה יודע שזה לא מהלך שגרתי; מתמטיקאים בכירים נוטים להתווכח במאמרים, לא במכתבים פומביים עם חתימות.
הטענה המרכזית פשוטה וחדה: המטרות של חברות ה-AI ושל קהילת המתמטיקה לא מיושרות. המעבדות מתוגמלות על בנצ'מרקים, מהירות ויחסי ציבור — הכרזה על פתרון לבעיה מפורסמת שווה גל כותרות ותשומת לב משקיעים. המתמטיקה, לעומת זאת, רצה על תשתית אחרת לגמרי: אימות קפדני, ייחוס נכון של קרדיט, כתיבה מסודרת שמאפשרת לאחרים להמשיך, והכשרה של דור חוקרים הבא. החותמים מציינים שפתרונות "מוכרזים לא פעם בחיפזון", בלי הזמן שנדרש לכתיבה זהירה ולייחוס ראוי, ושרעיונות שנוצרו על ידי מודל עדיין דורשים מתמטיקאים אנושיים כדי להפוך אותם לידע שמשתלב בגוף הידע הקיים.
ההצהרה לא נחתה בוואקום. היא מגיעה אחרי סדרת חיכוכים שדיווח עליהם TechCrunch במעקב אחרי הסכסוך המתמשך בין OpenAI לקהילת המתמטיקה. בין היתר, פרופ' טריסטן באקמאסטר מ-NYU האשים את OpenAI בכך שהפעילה עליו לחץ לא לתת קרדיט לשותף שעובד ב-Anthropic על פתרון בעיה מתמטית חשובה, ותהה בקול אם החברה השתמשה בעבודה שלהם עם Codex כדי להגיע לפתרון משלה בסוף שבוע אחד של הרצות אינפרנס. מתמטיקאים אחרים התחילו לשאול את השאלה הבלתי נמנעת: אם אני מריץ את הרעיון הלא-מפורסם שלי במודל, מה בדיוק קורה איתו אחר כך?
במקביל התפוצצה פרשת קאלטק. אירוע "Mathathon" שתוכנן ל-30 באוקטובר היה אמור להצמיד צוותי סטודנטים לתואר ראשון לקרדיטים של AI בשווי של עד 2 מיליון דולר מחברות כמו OpenAI ו-Anthropic, ולשלוח אותם להתמודד עם בעיות פתוחות במשך 40 שעות. מכתב התנגדות אסף כ-500 חותמים, מתמטיקאים בקאלטק הכריזו על חרם, והביקורת הייתה בוטה: זו "מתמטיקת סלופ" — פלט שנראה סביר אבל דורש אימות אנושי חינמי, ובדרך גם קושר את שמם של סטודנטים צעירים לחברות מסחריות שייקחו את הקרדיט. OpenAI משכה את החסות. דן רוברטס, ראש מחקר בחברה, כתב ב-X שהחברה מכירה בכך שההתקדמות המהירה של AI במתמטיקה היא משבשת, ושהיא מעוניינת לעבוד מול הקהילה על הדרך הנכונה לשלב את הטכנולוגיה.
קל לפטור את הסיפור כמחלוקת פנימית של אנשים שכותבים על לוחות. זו תהיה טעות, ובמיוחד מכאן. המתמטיקה התיאורטית היא אחד ממקורות היתרון האמיתיים של האקדמיה הישראלית, והיא זו שמזינה בפועל את תחומי הקריפטוגרפיה, האופטימיזציה והאלגוריתמיקה שמהם צמחו חלק ניכר מחברות הסייבר וה-AI המקומיות. הצינור הזה עובד בזכות תמריץ אחד: חוקר צעיר משקיע שנים בבעיה כי בסוף שמו יופיע על הפתרון. ברגע שמעבדה יכולה לשרוף עשרות מיליוני דולרים על אינפרנס ולעקוף אותך לקו הסיום — התמריץ להשקיע את השנים האלה נשחק, והתגובה הרציונלית של החוקר היא לא לעבוד מהר יותר אלא לעבוד בסתר. תרבות של סודיות היא בדיוק ההפך ממה שהפך את התחום לפרודוקטיבי.
ניתוח קצר: יש כאן הד ברור לקרב הקודם של תעשיית ה-AI — זה מול יוצרים, מו"לים ואמנים סביב אימון על תוכן מוגן. ההבדל הוא שהפעם הצד השני הוא לא תעשייה שמחפשת תמלוגים, אלא הספק שמייצר את הידע שהמודלים הבאים יתאמנו עליו. מתמטיקאים לא רוצים כסף מ-OpenAI; הם רוצים שהתוצרים יאומתו כמו שצריך ושהקרדיט יחולק נכון. אם המעבדות ימשיכו להתייחס למתמטיקה כאל "הזדמנות פרסומית", כפי שנטען במכתב, הן עלולות לגלות שהבאר שממנה הן שואבות נסגרת מרצון.
ההצהרה של ה-25 היא רק ההתחלה הפורמלית — נפתח אתר ייעודי שמאפשר לחוקרים נוספים להוסיף חתימה, כך שמספר החותמים צפוי לטפס. השאלה הפתוחה היא מה קורה בהכרזה הגדולה הבאה על פתרון שנוצר במודל: האם היא תגיע עם כתיבה מסודרת ורשימת קרדיטים הוגנת, או עם ציוץ בשעה שתיים בלילה. התשובה לזה תגיד יותר על הכוונות של התעשייה מכל הודעה לעיתונות.
