מכון קליי: בעיית נאוויה–סטוקס כנראה נפתרה

ב-11 בספטמבר 2026 פרסם מכון קליי למתמטיקה (CMI) הצהרה קצרה שבה הודה שבעיית נאוויה–סטוקס — שאלת הקיום והחלקות של פתרונות במרחב התלת-ממדי — כנראה נפתרה. המכון לא נקב בשם הפותר ולא קבע לוח זמנים.

מה אמר המכון

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

מדוע דווקא הבעיה הזו

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

ההודעה שמאחורי ההצהרה

התוצאה שהביאה להצהרה באה מ-OpenAI, שהודיעה ב-8 בספטמבר 2026 כי מערכת פנימית הפיקה הוכחה — עם פורמליזציה במסייע ההוכחות Lean — לכך שזרימה חלקה בתחילתה יכולה לפתח סינגולריות בזמן סופי. בניסוח הרשמי של המכון, המבקש הוכחה לאחת מארבע טענות, הדבר מבסס את שתי האפשרויות הקובעות שפתרונות חלקים עלולים שלא להתקיים. קבוצות אחרות דיווחו ימים ספורים קודם על התקדמות קרובה במקרה חסר הצמיגות.

מה הלאה

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