OpenAI טוענת שפתרה את Navier-Stokes: המתמטיקאים ספקנים
OpenAI הודיעה שמודל AI פנימי שלה, בעזרת 10,000 סוכנים ובעלות של מיליוני דולרים, פתר את בעיית Navier-Stokes לאחר 90 שנה. אולם מתמטיקאי מ-NYU טוען ש-OpenAI קפצה על מחקר שהוא וחוקר מ-Anthropic פיתחו, מה שמחריף את הוויכוח על קרדיט במדע מבוסס AI.
OpenAI עשתה השבוע רעש ענק בעולם המתמטיקה וה-AI: החברה הכריזה שמודל פנימי שלה פתר את בעיית ה-Navier-Stokes — אחת משבע בעיות המילניום, שהוצע עליהן פרס של מיליון דולר. זה סיפור שמערב טכנולוגיה פורצת דרך, מיליוני דולרים וטענות חמורות על חוסר הוגנות אקדמי. אז מה בעצם קרה כאן, ולמה זה חשוב למי מכם שמפתחים וחוקרים בתחום?
מהי בעיית Navier-Stokes?
לפני שנצלול לעלילה, הנה תזכורת קצרה. משוואות Navier-Stokes מתארות איך זורמים — נוזלים וגזים — נעים. הן שימושיות בתחומים כמו תחזית מזג אוויר, עיצוב מטוסים ואפילו תיאור זרימת הדם. ה״בעיה״ היא שמתמטיקאים לא הצליחו להוכיח כבר 90 שנה אם תמיד אפשר לפתור אותן בצורה חלקה, או שבמקרים מסוימים הן מתפוצצות לסינגולריות — נקודת קצה שבה המהירות או הלחץ הופכים לאינסופיים. הוכחה כזו שוות ערך לפתרון של אחד האתגרים הפתוחים המכובדים ביותר במתמטיקה.
מה OpenAI עשתה?
OpenAI טוענת שהשתמשה במודל AI פנימי, ש״מסוגל יותר מ-GPT-6 Astra״. החברה הקצתה לכך משאבי מחשוב אדירים: כ-10,000 סוכני AI — מערכות שמבצעות משימות בצורה אוטונומית — עבדו במקביל. התהליך ארך 88 שעות, והעלות הכספית הועמדה על מיליוני דולרים. לדברי OpenAI, המאמץ התחיל ב-1 בספטמבר, לאחר ששמעה שמועות ששתי בעיות מתוך בעיות המילניום כבר נפתרו על ידי מודלים של חברות אחרות.
ה״פתרון״ ש-OpenAI מציגה, לטענתה, מוכיח שמשוואות Navier-Stokes עבור זורם תלת-ממדי לא-דחיס מתפתחות לסינגולריות בזמן סופי. את ההוכחה היא גם פורמלה ב-Lean, סביבת הוכחה פורמלית שפופולרית בעולם ה-CS.
ואז הגיעה המחלוקת
כאן הסיפור נהיה מעניין, ובעיקר שנוי במחלוקת. Tristan Buckmaster, מתמטיקאי מאוניברסיטת NYU, ו-Levent Alpöge, חוקר ב-Anthropic — החברה שמאחורי מודלים כמו Claude — עבדו זמן ממושך על מחקר קרוב בנושא דינמיקת זורמים. Buckmaster טוען בפומבי ש-OpenAI ״קפצה״ על כיוון מחקרי שאליו נחשפה דרך השניים, ומעלה חששות שמידע פרטי מ-Codex, כלי לתכנות של OpenAI, שיחק תפקיד.
OpenAI מכחישה. החברה מסרה שלמיטב ידיעתה, לא החוקרים ולא הסוכנים שלה ראו את העבודה של Buckmaster ו-Alpöge לפני שהשניים פרסמו אותה. עם זאת, OpenAI מודה ששתי הקבוצות רדפו אחרי כיווני מחקר שנבעו מאותן עבודות קודמות. סם אלטמן, מנכ״ל OpenAI, כתב ב-X: ״עכשיו שאנחנו יכולים לראות את העבודה שלהם, הגישות נראות שונות.״
אלטמן גם הודה שהחברה יצאה לדרך לאחר ששמעה שמועות שמודלים של Anthropic ״פתרו״ בעיה מתמטית גדולה: ״היינו סקרנים לבדוק אם שלנו יכולים לעשות את זה גם.״
תגובות הקהילה המדעית
הפרשה חוללה גלים בקרב מתמטיקאים. פרופ׳ קולבה רוני-דוגל, ראשת תחום המתמטיקה הטהורה באוניברסיטת St Andrews, אמרה: ״אני מרגישה קצת בהלם. רק לאחרונה הרציתי שלא נראה דבר מהותי מ-AI בקרוב. שלושה חודשים לאחר מכן, אני טועה לגמרי.״ פרופ׳ דיוויד סילבסטר מאוניברסיטת Manchester תיאר את התחום כ״מאוד לא יציב״, ואמר שכל בעיה פתוחה יכולה ליפול עם מספיק משאבים. פרופ׳ ג׳יימס רובינסון מ-Warwick יצא בחריפות, וטען שחברות טכנולוגיה ענקיות ״שורפות את הדלק של המתמטיקה״ לשם ״התרברבות ילדותית״.
מה זה אומר עליכם?
אם אתם עובדים במחקר מבוסס AI או מפתחים מוצרים מדעיים, הסיפור הזה נוגע בעצב חשוף. הוא מציג את הכוח העצום של מודלים גדולים להתמודד עם בעיות סבוכות, אבל גם את הסיכונים: שאלות של קרדיט, שקיפות ושיתוף פעולה מדעי. האם בעתיד, מחקרים אקדמיים יידחקו הצדה מול חברות עשירות שמקצות מיליונים ו״סוכנים״ אוטונומיים?
OpenAI טוענת שמטרתה היא ״להעצים מדענים לקדם מחקר וטכנולוגיה לטובת האנושות״. אך כרגע, נראה שהדיון הוא יותר על מי מוביל וכיצד שומרים על כללי משחק הוגנים.
בסופו של דבר, גם אם הפתרון יאושר, הפרשה כבר שינתה את השיחה. בעולם שבו כל חברת טכנולוגיה יכולה להקצות אלפי סוכני AI לבעיה, מתמטיקאים יצטרכו להגדיר מחדש את תפקידם. וגם אתם, כאנשי ונשות טכנולוגיה, כדאי שתשימו לב: כללי הקרדיט והיושר המדעי מתעצבים מחדש, ו-AI הוא כבר לא רק כלי — הוא שחקן מרכזי.