פרס של מיליון דולר, משוואה שמתמטיקאים לא הצליחו לפצח כמעט מאה שנה, ושתי מעבדות AI מתחרות שרבות מי הגיע לשם קודם — עם הודעות טקסט שמודלפות לתקשורת.
בעיית הקיום והחלקות של משוואות נאבייה-סטוקס היא אחת משבע בעיות המילניום של מכון קליי, כל אחת מהן נושאת פרס של מיליון דולר. המשוואות עצמן מתארות זרימה של נוזלים וגזים — הן מריצות סימולציות של מזג אוויר, כנפי מטוסים וזרימת דם — אבל השאלה אם הפתרונות שלהן נשארים "חלקים" לנצח או מתפוצצים לאינסוף בזמן סופי נשארה פתוחה מאז שנות ה-30. השבוע היא סוף סוף הגיעה לכותרות. לא בגלל המתמטיקה. בגלל הריב.
הכרונולוגיה, כפי שהיא מצטיירת מהדיווחים: ב-15 באוגוסט השלימו טריסטן באקמאסטר, פרופסור למתמטיקה ב-NYU, ולוונט אלפוגה, מתמטיקאי שעובד ב-Anthropic, הוכחה שמשוואות אוילר — בת הדודה חסרת החיכוך של נאבייה-סטוקס — יכולות לפתח סינגולריות תחת כפיית כוח חלקה. ההוכחה שלהם אומתה ב-Lean, שפת בדיקת הוכחות שמוודאת לוגיקה שורה-שורה. השמועה על העבודה הלא-מפורסמת הגיעה ל-OpenAI תוך שבוע, וצוות בהובלת סבסטיאן בובק, שמוביל את צוות המתמטיקה של החברה, דחף את הטיעון עד לנאבייה-סטוקס המלאות.
ההודעה של OpenAI מתארת מאמץ בסדר גודל תעשייתי: כ-10,000 סוכני AI שפעלו במקביל על מודל לא-משוחרר שהחברה מתארת כחזק משמעותית מ-GPT-6 Astra, שהגיעו לתוצאה תוך כ-88 שעות. לפי הפרסומים, ההרצה צרכה כ-300 מיליארד טוקני פלט — שווה ערך לכ-22.5 מיליון דולר של מחשוב במחירי Astra הנוכחיים. גם ההוכחה הזו פורסמה עם פורמליזציה ב-Lean. אבל Lean מאמת שהצעדים הלוגיים נכונים, לא שהמשפט שהוכח הוא באמת השאלה שמכון קליי שאל — וכמה מתמטיקאים כבר מצביעים על כך שההוכחה נשענת על איבר כפייה שנחשב בעיני חלקם לפרצה ביחס לניסוח הקלאסי של הבעיה.
ההאשמה של באקמאסטר, שדווחה לראשונה בכתבה של TechCrunch, חמורה: לדבריו OpenAI הציעה לו לכתוב תוצאה משותפת כמחבר יחיד — כלומר להשאיר את אלפוגה, עובד של חברה מתחרה, מחוץ למאמר — וכשאיים לפרסם את הסיפור נאמר לו "למה שתהרוס לעצמך את הקריירה?". בובק מכחיש נחרצות, מכנה את התיאור "שקרי ומסית", ופרסם צילומי הודעות שלטענתו מוכיחים שהציע לצוות היריב לפרסם ראשון. הוא כן אישר שלדעתו היה "פשוט יותר" אילו אלפוגה לא היה מועסק ב-Anthropic. נועם בראון מ-OpenAI הציג גרסה מפויסת יותר, וסם אלטמן טען שאחרי בחינת העבודה הפומבית הגישות נראו שונות ממילא.
הערכה שלנו: מה שמעניין כאן הוא לא מי צודק בוויכוח על הודעות ה-SMS, אלא מה הפרשה חושפת על המבנה החדש של המחקר. עד לא מזמן, קרדיט אקדמי היה ויכוח בין עמיתים שמשחקים לפי אותם כללים — עדיפות נקבעת לפי תאריך הגשה ל-arXiv, וכולם מסכימים על השופט. עכשיו יש שחקן שלישי בחדר: מעבדה מסחרית שיכולה לזרוק על בעיה תקציב מחשוב של עשרות מיליוני דולרים בסוף שבוע אחד, ושהקרדיט עבורה הוא לא קידום אקדמי אלא נכס שיווקי בשווי מיליארדים. כשיריבות עסקית בין OpenAI ל-Anthropic נכנסת לשאלה מי חותם על מאמר, קשה לצפות שהנורמות האקדמיות ינצחו את הסכמי הסודיות של מחלקת המשפטים.
לקוראים הישראלים זה פחות רחוק ממה שנדמה. חלק ניכר מהמחקר הישראלי במתמטיקה ובמדעי המחשב מתנהל בדיוק במודל ההיברידי הזה — חוקרים באוניברסיטה העברית, בטכניון ובווייצמן שמחזיקים במקביל מינוי במרכזי מחקר של גוגל, מיקרוסופט או אנבידיה, או שהסטודנטים שלהם עושים סטאז' שם. השאלה מי הבעלים של רעיון שנולד בסמינר אקדמי ובשל בתוך תשתית מחשוב תאגידית היא כבר לא תיאורטית, וגם לא באמת מוסדרת. הפרשה הזו היא התקדים הפומבי הראשון בסדר גודל כזה, והיא תצוטט בוועדות אתיקה עוד הרבה זמן.
ולגבי מיליון הדולר — הוא לא הולך לשום מקום בקרוב. הכללים של מכון קליי דורשים שההוכחה תפורסם בכתב עת מוכר, תשרוד שנתיים בדפוס ותזכה לקבלה כללית בקהילה המתמטית העולמית. נכון לעכשיו הבעיה עדיין רשומה אצל קליי כפתוחה, והאימות העצמאי רק מתחיל. במילים אחרות: ה-AI אולי סיים את ההוכחה ב-88 שעות, אבל הבני אדם עוד יתווכחו עליה שנתיים לפחות.
