המכון למתמטיקה קליי הודה לראשונה בפומבי כי בעיית הקיום והחלקות של נאוויאר-סטוקס - אחת משבע בעיות פרס המילניום - "ככל הנראה הוסדרה". ההצהרה, שפורסמה באתר האינטרנט של המכון ביום שישי, מעבירה את אחד מסיפורי הבינה המלאכותית והמתמטיקה המתמודדים ביותר של השנה לתהליך הערכת הפרס הפורמלי של המכון, תוך שהיא מבהירה באותה מידה כי לא הוענק פרס ושום הוכחה לא אושרה.
"היום, CMI משתתפת בהתרגשות של הקהילה המתמטית העולמית בעודנו שוקלים את ההכרזה כי בעיית Navier-Stokes ככל הנראה הוסדרה", כתב המכון בהודעה, מתאריך 11 בספטמבר 2026. "אנו מקווים לראות גלים של הבנה אנושית חדשה משתחררים עם ניתוח החידושים ומאחורי העבודה הזו". For more context on this story, see our ongoing AI industry coverage.
מדוע ההצהרה חשובה
השפה המדודה של המכון עושה עבודה רבה, וכל מילה נותחה תוך שעות ב-Hacker News, שם ההודעה צברה יותר מ-100 נקודות. מה שהאמירה לא אומרת הוא משמעותי כמו מה שהיא עושה: המכון למתמטיקה קליי אינו נותן שם ל-OpenAI, אינו מאשר שהוכחה ספציפית כלשהי נכונה ואינו מעורר מתן פרס.
ההקשר מסביר את האיפוק. ב-8 בספטמבר, OpenAI פרסמה פתרון נטען לבעיית Navier-Stokes, וקבע שמערכת בינה מלאכותית פנימית - שתוארה על ידי החברה כבעלת יכולת משמעותית יותר מדגם ה-GPT-6 Astra שלה - יצרה הן הוכחה אנליטית והן אימות פורמלי ב-Lean proof Assistant. ההכרזה מיד הפכה לא פחות על קרדיט כמו על חישוב, מכיוון ששני מתמטיקאים אקדמיים פרסמו מאמרים קרובים באותו יום, וחוקרים לחצו על OpenAI שעבודתם הודיעה על התוצאה של המכונה.
כשהמכון מכיר כעת בכך שהבעיה "ככל הנראה הוסדרה", הסכסוך מעביר את השטח: מפינג-פונג של הודעות לעיתונות להליך הערכת פרס המילניום, אותו מתאר המכון כ"לא ממהר במכוון".
מה שואלת בעיית Navier-Stokes
הבעיה נוגעת לקיומם והחלקות של פתרונות למשוואות נאוויאר-סטוקס במרחב האוקלידי התלת מימדי - המשוואות המתארות כיצד נוזלים כמו מים ואוויר נעים. למרות שהמשוואות הללו משמשות מדי יום על ידי מהנדסים, מטאורולוגים ואורודינמיקה, מתמטיקאים מעולם לא הוכיחו שפתרונות חלקים והגיוניים פיזית קיימים תמיד בתלת מימד, או שהם מתנהגים בצורה צפויה ולא מפתחים ייחודויות.
המכון למתמטיקה קליי חשף את בעיות פרס המילניום בפגישה בפריז בשנת 2000, וצירף פרס של מיליון דולר לכל אחת משבע הבעיות, הכוללות גם את השערת רימן ו-P מול NP. בהודעתו ביום שישי, חזר המכון על הרציונל המקורי שלו: להעלות את המודעות הציבורית לכך שהגבול המתמטי פתוח, ולהכיר ב"הישגים במתמטיקה בסדר גודל היסטורי".
רק אחת משבע הבעיות, השערת פואנקרה, נפתרה - על ידי גריגורי פרלמן בעבודה שהועלתה בשנים 2002 ו-2003, שבגינן דחה גם את מדליית פילדס וגם את כספי הפרסים.
הערכה 'לא נחפזת' לפניה
הודעת המכון מצביעה על כללי הפרס כמסגרת השלטת למתרחש בהמשך. "הכללים המסדירים את הפרסים מתארים את התהליך להערכת מה שהושג ולמתן קרדיט", נכתב בהודעה. "התהליך אינו ממהר בכוונה, אך אנו נספק עדכונים".
הניסוח הזה משאיר כמה שאלות פתוחות שהקהילה המתמטית מתלבטת בהן כעת בגלוי. אימות הוא המכשול הראשון: הוכחה לחלקות Navier-Stokes בדרך כלל ייקח לוועדה של מומחים חודשים רבים לבדוק שורה אחר שורה. הטענה של OpenAI שהתוצאה שלה כוללת פורמליזציה שנבדקה על ידי מכונה ב-Lean יכולה, באופן עקרוני, לדחוס את ציר הזמן הזה בצורה דרמטית, שכן אימות פורמלי מפחית את שאלת הנכונות למה שעוזר הוכחה יקבל. אבל המכון לא אמר אם פורמליזציה כזו הוגשה לו, מי הם השופטים, או כיצד יחולק הקרדיט בין מערכת הבינה המלאכותית, יוצריה ב-OpenAI והמתמטיקאים האקדמיים שהעבודות הקשורות אליהם הופיעו באותו שבוע.
ההצהרה גם אינה מתייחסת לשאלה האם פתרון המיוחס במידה ניכרת למערכת בינה מלאכותית מזכה בפרס שנועד, בשפת היסוד של המכון, להכיר בהישגים מתמטיים אנושיים - שאלה ללא תקדים בתולדות 26 השנים של הפרס.
המתח מאחורי ההכרזה
ההכרזה נוחתת ברגע עדין במיוחד עבור ההצטלבות של AI ומתמטיקה. ביום שישי, קבוצה של 25 מדליות פילדס, כולל טרנס טאו, פרסמה הצהרה רשמית המזהירה כי המירוץ להצגת מערכות בינה מלאכותית על אמות מידה מתמטיות פוגע הן במדע והן בקהילה שמקיימת אותו - הצהרה שאספה יותר מ-1,300 תומכים נוספים תוך יום, כפי שדווח בעבר על ידי AI Buzz Wire.
שני המסמכים נקראים כמעט כתשובות זה לזה. הצהרת המתמטיקאים מזהירה מפני התייחסות לבעיות עמוקות כאל גביעי אמת מידה; ההכרזה של המכון, תוך שהיא מחבקת את התוצאה, ממסגרת באופן נוקב את הרגע סביב הבנה ולא ניצחון, בתקווה לראות "גלים של הבנה אנושית חדשה משתחררים כשהחידושים מאחורי העבודה הזו מנותחים ונחקרים".
אפילו הדיווח של המכון עצמו על התחום שמסביב מכיר בשינוי: "היכולת ההולכת וגוברת של טכנולוגיות חדשות להאיץ את המחקר המתמטי הגבירה את תחושת הציפייה הזו", מציינת ההצהרה, תוך זיכוי פריצות דרך אחרונות באזורים סמוכים - חלקם מוכרים על ידי פרס מחקר החימר - ומעוררות תקוות כי Navier-Stokes עשויה ליפול בקרוב.
מה שיבוא אחר כך
לעת עתה, ההטבה המעשית היא צרה אך אמיתית: המכון שבבעלותו הבעיה רשם כי הוא רואה בבעיה ככל הנראה מסודרת, והתחייב לעדכונים פומביים עם המשך ההערכה שלו. אם העבודה תשרוד בדיקה, זו תהיה בעיית המילניום השנייה שנפתרה, הראשונה מזה שני עשורים - והראשונה בהיסטוריה הנחשבת בחלקה למערכת בינה מלאכותית, הבחנה שתעצב את האופן שבו מוסדות מתמטיקה יתמודדו עם הטענה הבאה שכזו.
המכון ביקש סבלנות. בהתחשב בעובדה שהתהליך אינו ממהר במתכוון, שאלות הקהילה - לגבי ההוכחה, הקרדיט ותפקידה של המכונה שייצרה אותו - יענו על ציר הזמן של המכון, לא על מחזור החדשות.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
