ב-8 בספטמבר 2026 פרסמה OpenAI מאמר באורך 166 עמודים שטוען לפתרון של אחת משש בעיות המילניום שנותרו פתוחות — שאלת הקיום והחלקות של משוואות...
ב-8 בספטמבר 2026 פרסמה OpenAI מאמר באורך 166 עמודים שטוען לפתרון של אחת משש בעיות המילניום שנותרו פתוחות — שאלת הקיום והחלקות של משוואות נאוויה-סטוקס. לפי OpenAI, קבוצה של כ-10,000 סוכנים אוטונומיים שרצו על מודל פנימי שטרם שוחרר לציבור הגיעה להוכחה תוך 88 שעות, ומודל נוסף פורמל אותה ב-Lean תוך 17 שעות נוספות. ההוכחה מראה מה שנקרא blowup בזמן סופי: מערבולת שנעשית דקה ומהירה יותר ויותר עד שהמהירות שואפת לאינסוף. במקביל, כ-100 סוכנים הפילו במשך כ-50 שעות גרסה של בעיית אוילר. OpenAI הודיעה שלא תתבע את פרס המיליון דולר של מכון קליי.
למה זה משנה למי שלא מתמטיקאי: משוואות נאוויה-סטוקס הן התיאור הבסיסי של איך נוזלים וגזים זורמים — הן עומדות מאחורי תכנון כנפי מטוסים, מודלים של מזג אוויר, זרימת דם וגם סימולציות המים שאתם רואים בסרטים ובמשחקים. מהנדסים פותרים אותן נומרית כל יום, אבל עד עכשיו איש לא ידע אם המודל המתמטי עצמו נשאר תקין תמיד או שהוא מתפוצץ בנקודה מסוימת. תשובה של "כן, הוא מתפוצץ" אומרת שיש משטרי זרימה שבהם הסימולציה לא סתם לא מדויקת — המשוואה עצמה מפסיקה להיות בעלת משמעות. זו גם הסיבה שקרוי ז'ולנאי-פהר, חוקר מ-TU Wien שעשה בעצמו דוקטורט בתחום שליטה בסימולציות נוזלים, מתייחס לזה בסרטון כרגע אישי ולא רק ככותרת.
ההכרזה הגיעה עטופה בסערה. טריסטן באקמאסטר, מתמטיקאי מ-NYU, טוען ש-OpenAI נחשפה לעבודה שלו ושל לבנט אלפוגה (חוקר ב-Anthropic) על אותה בעיה, השתמשה בדיוק באותו קו תקיפה, וניסתה לדחוף עסקה שהייתה מוציאה את אלפוגה מהקרדיט. לדבריו, בשיחה ב-6 בספטמבר הוא גילה שההכרזה עומדת לצאת יומיים אחר כך. OpenAI מכחישה את ההאשמות. מעבר לדרמה, זו שאלה מעשית מאוד לעולם המחקר: מה בדיוק נחשב תרומה מקורית כשמודל סגור רץ על רעיון שמישהו אחר פרסם.
טרנס טאו, חתן מדליית פילדס, הגיב בזהירות: הוא כינה את התוצאה "אמיתית ומשמעותית", אך הדגיש שהתנאים וההנחות שלה דורשים בדיקה עצמאית לפני שמדברים על פרס. האזהרה החריפה שלו הייתה תרבותית ולא טכנית — "כריית יתר חסרת אבחנה של בעיות פתוחות עלולה להרוס את המערכת האקולוגית שממנה הייתה צומחת הדור הבא של טכניקות, בעיות ומתמטיקאים". במילים אחרות: בעיות המילניום שימשו כמגדלור שסביבו התפתחו תחומים שלמים, ופתרון שמגיע בחבילה סגורה, בלי שהקהילה עברה את הדרך, עלול להשאיר תוצאה נכונה בלי הבנה. עבור מי שעוקב אחרי AI בישראל זה הרגע שבו הדיון עובר מ"האם מודלים יכולים לעשות מדע" ל"איך מנהלים מדע שבו הם כבר עושים" — כולל אימות, קרדיט ושקיפות.
