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

ב-24 במאי 2000, התאסף קהל של מתמטיקאים באולם הרצאות בקולז' דה פראנס בפריז כדי לשמוע הכרזה יוצאת דופן. קרן פרטית הציעה 7 מיליון דולר, שיחולקו לשבעה פרסים של מיליון דולר כל אחד, למי שיצליח לפתור שבע בעיות מתמטיות ספציפיות. חלק מהחידות הללו כבר הכניעו את המוחות הגדולים ביותר של המאה הקודמת.

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

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

מדוע דווקא שבע הבעיות הללו?

הפרסים נוצרו על ידי מכון קליי למתמטיקה, ארגון ללא מטרות רווח שהוקם ב-1998 על ידי איש העסקים מבוסטון לנדון קליי ואשתו לאוויניה. הרעיון הדהד רגע מפורסם שהתרחש בדיוק 100 שנים קודם לכן, כאשר המתמטיקאי הגרמני דויד הילברט עמד מול כנס, גם הוא בפריז, ומנה 23 בעיות שלדעתו יעצבו את המתמטיקה במאה ה-20.

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

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

1. P לעומת NP: האם באמת קל יותר לבדוק תשובה מאשר למצוא אותה?

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

בעיית P לעומת NP, שהוצגה ב-1971 על ידי מדען המחשב סטיבן קוק, שואלת שאלה שנשמעת פשוטה: האם הפער הזה אמיתי? במילים אחרות, האם כל בעיה שאת התשובה שלה ניתן לבדוק במהירות, היא גם בעיה שאת התשובה לה ניתן למצוא במהירות, אילו רק היינו מספיק חכמים כדי לגלות את השיטה הנכונה? "P" מייצג בעיות שמהיר לפתור, ו-"NP" מייצג בעיות שהתשובות שלהן נבדקות במהירות.

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

2. השערת רימן: התבנית הנסתרת של המספרים הראשוניים

מספרים ראשוניים הם המספרים השלמים שניתן לחלק ללא שארית רק ב-1 ובעצמם: 2, 3, 5, 7, 11, 13 וכן הלאה. הם האטומים של המתמטיקה, שכן כל מספר שלם אחר יכול להיבנות על ידי הכפלת מספרים ראשוניים זה בזה. עם זאת, הם מופיעים על ציר המספרים בתבנית שנראית כמעט אקראית. לפעמים שני מספרים ראשוניים יושבים קרוב זה לזה, כמו 11 ו-13, ולפעמים יש רצפים ארוכים בלעדיהם כלל.

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

מחשבים בדקו מאז טריליונים מהערכים הללו, וכל אחד מהם מתיישב בדיוק על הקו של רימן. אבל בדיקת טריליוני מקרים אינה הוכחה, וההשערה נותרה בלתי מוכחת כבר יותר מ-165 שנים.

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

3. משוואות נאוויה-סטוקס: האם מים יכולים לשבור את המתמטיקה?

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

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

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

4. יאנג-מילס ופער המסה: המתמטיקה שמתחת לאטום

ב-1954, הפיזיקאים צ'ן נינג יאנג ורוברט מילס פיתחו תיאוריה שתהפוך לעמוד השדרה של פיזיקת החלקיקים המודרנית. המשוואות שלהם מתארות כוחות הפועלים בתוך אטומים, כולל "הכוח החזק" שמדביק את גרעין האטום יחד. תיאוריות שנבנו על עבודתם חזו תוצאות של ניסויים בדיוק מדהים, ומספר פרסי נובל הוענקו בזכותן לאורך השנים.

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

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

5. השערת הודג': בניית צורות מורכבות מלבני בניין פשוטות

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

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

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

6. השערת בירץ' וסווינרטון-דייר: חידת המשולש

הנה חידה שריתקה אנשים במשך יותר מאלף שנים: קחו משולש ישר זווית. אילו מספרים שלמים יכולים להיות השטח של משולש כזה, ששלוש צלעותיו הן מספרים שלמים או שברים? המספר 6 עובד: למשולש עם צלעות של 3, 4 ו-5 יש שטח של בדיוק 6. למרבה ההפתעה, גם 5 עובד, למרות שתצטרכו צלעות של 3/2, 20/3 ו-41/6 כדי להגיע אליו. אבל המספרים 1, 2 ו-3 לעולם לא יעבדו, לא משנה מה תנסו.

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

מה משמעות הפתרון: הוכחה תעניק למתמטיקאים מפתח מאסטר למשפחה שלמה של משוואות שהעסיקו אנשים מאז ימי קדם. זה גם יפתור רשמית את חידת המשולש שהוזכרה, שכן מבחן פשוט עבורה שהתגלה ב-1983, מובטח לעבוד רק אם ההשערה הזו נכונה. עקומים אליפטיים אינם רק קוריוז תיאורטי – הם מילאו תפקיד מרכזי בהוכחת המשפט האחרון של פרמה בשנות ה-90, והם אלו שמאבטחים רבים מהחיבורים המוצפנים שהסמארטפון שלכם מבצע מדי יום.

7. השערת פואנקרה: מהי צורת היקום?

מתחו גומייה סביב תפוח. לא משנה היכן תניחו אותה, תוכלו להחליק את הגומייה באיטיות על פני התפוח ולכווץ אותה לנקודה אחת מבלי להרים אותה או לקרוע דבר. עכשיו נסו את אותו הדבר על סופגנייה (עם חור אמצעי). העבירו את הגומייה דרך החור, והיא תיתקע. אי אפשר לכווץ אותה לנקודה בלי לחתוך את הסופגנייה.

מתמטיקאים משתמשים ב"מבחן הגומייה" הזה כדי להבדיל בין צורות גיאומטריות שונות. ב-1904, המתמטיקאי הצרפתי אנרי פואנקרה שאל האם אותו מבחן עובד גם כשעולים ממד אחד למעלה, כלומר עבור "משטחים" תלת-ממדיים שאי אפשר לדמיין ישירות אבל יכולים, למשל, לתאר את הצורה הכוללת של היקום שלנו. אם כל לולאה אפשרית במרחב כזה ניתנת לכיווץ לנקודה, הוא שאל, האם הצורה של המרחב חייבת להיות כדור בתחפושת?

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

הפתרון הראשון: גריגורי פרלמן, הגאון שאמר לא

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

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

הגישה שלו התבססה על טכניקה שפיתח המתמטיקאי האמריקאי ריצ'רד המילטון, שנקראת "זרימת ריצ'י". תארו לעצמכם בלון גבשושי ומעוות שמחליק את עצמו בהדרגה, בדומה לאופן שבו חום מתפשט באופן שווה בחדר. הרעיון היה לאפשר לכל צורה שעוברת את מבחן הגומייה "להחליק" את עצמה עד שזהותה האמיתית כספירה (כדור) תהפוך למובנת מאליה. הבעיה הייתה שבמהלך ההחלקה הזו, הצורה עלולה לפתח צביטות וקוצים חדים. אלו הן סינגולריות – אותם עושי צרות שעומדים בלב בעיית נאוויה-סטוקס. פרלמן מצא דרך מתמטית להבין ולהסיר באופן כירורגי כל סוג אפשרי של צביטה כזו, ובכך לא רק שפתר את הבעיה, אלא גם הוכיח השערה גדולה בהרבה שמתארת את כל הצורות התלת-ממדיות באשר הן.

מספר צוותי מומחים בילו שנים בבדיקת הטיעונים הצפופים והמורכבים שלו ובהשלמת הפרטים החסרים. עד 2006, עולם המתמטיקה הסכים פה אחד שהוא צודק. באותו קיץ הוענקה לו מדליית פילדס, המכונה לרוב 'פרס נובל של המתמטיקה'. הוא הפך לאדם הראשון אי פעם שסירב לקבל אותה.

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

הפתרון השני? OpenAI ומשוואות נאוויה-סטוקס

נקפוץ קדימה ליום שלישי, ה-8 בספטמבר 2026. חברת הבינה המלאכותית OpenAI (היוצרת של ChatGPT) הודיעה שאחד ממודלי ה-AI הנסתרים שלה פתר את בעיית נאוויה-סטוקס.

הדרך שבה זה קרה הייתה בלתי נתפסת לחלוטין בתקופתו של פרלמן. במקום אדם אחד שעובד לבד במשך שנים, OpenAI שחררה נחיל של כ-10,000 "סוכני" AI – עותקים של המודל שלה שעבדו זה לצד זה, שיתפו רעיונות וחילקו ביניהם את העבודה. הם פעלו במשך 88 שעות (קצת פחות מארבעה ימים) והחליפו ביניהם כ-2.7 מיליון הודעות. התוצאה הייתה מאמר מתמטי באורך 166 עמודים. עלות כוח המחשוב הגיעה למספר מיליוני דולרים.

והתשובה? המשוואות יכולות לקרוס. הבינה המלאכותית בנתה תרחיש מדויק – מעין מערבולת מסתובבת שבה נוזל חלק ורגוע מפתח סינגולריות (קריסה) בתוך פרק זמן מוגבל. התרחיש כולל הפעלת דחיפה חיצונית חלקה ומתוכננת בקפידה על הנוזל, מעין ערבוב עדין ומדויק להפליא. הכללים הרשמיים של מכון קליי מונים שיטה זו כאחת הדרכים המקובלות והלגיטימיות ליישב את השאלה.

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

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

תוצאה היסטורית עטופה במחלוקת

ההכרזה הייתה אכן היסטורית, אבל היא הפכה מהר מאוד לסבוכה.

כ-12 שעות לפני ש-OpenAI פרסמה את ההכרזה שלה, טריסטן בקמסטר, מתמטיקאי מאוניברסיטת ניו יורק, הודיע שהוא ושותפו למחקר לבנט אלפוג' (מתמטיקאי שעובד גם בחברת ה-AI המתחרה Anthropic) פתרו בעיות קרובות מאוד לאחר שנת עבודה. התוצאות שלהם עסקו במשוואות אוילר, קרוב משפחה פשוט יותר של משוואות נאוויה-סטוקס שמתאר נוזלים ללא חיכוך כלל. גם הם השתמשו בכלי AI שונים לאורך הדרך, כולל הכלים של OpenAI.

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

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

התקרית הציתה דיון רחב הרבה יותר. ב-11 בספטמבר, קבוצה של זוכי מדליית פילדס (שהגיעה בסופו של דבר ל-26 חותמים) פרסמה מכתב פתוח המזהיר כי המירוץ בין חברות בינה מלאכותית לכיבוש בעיות מתמטיות מפורסמות עלול לפגוע במתמטיקה עצמה – תחום שנשען על הבנה אנושית, שיתוף פעולה טבעי והכשרת הדור הבא של החוקרים.

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

מה הלאה?

המצב הנוכחי משאיר חמש בעיות שעדיין ממתינות לפתרון: P לעומת NP, השערת רימן, יאנג-מילס, השערת הודג', והשערת בירץ' וסווינרטון-דייר. עד לא מזמן, רוב המתמטיקאים היו מהמרים שאף אחת מהן לא תיפתר בימי חייהם. כיום, חברות AI מתחרות בגלוי כדי לפצח אותן, ו-OpenAI כבר רמזה שהיא עשתה התקדמות משמעותית לגבי אחת מהן, מבלי לציין באיזו בעיה מדובר.

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