AnswersPublished21 sources
למה OpenAI לא מימשה את פרס מיליון הדולר של ג'סטין סאן
נכון ל־17 בספטמבר 2026, OpenAI הייתה רשומה כזכאית לפרס מיליון הדולר של ג'סטין סאן על עבודתה בנוויה–סטוקס, אך הכסף לא נדרש. אימות פורמלי ב־Lean הוא ראיה חזקה לכך שמשפט נובע מההנחות שקודדו, אך אינו מחליף בדיקה חיצונית שהניסוח וההנחות תואמים בדיוק את בעיית המילניום.
פורסם על ידינערך באמצעות GPT-5.6 Terraהתמונות נוצרו באמצעות GPT Image 2
Research answer
Key takeaways
- נכון ל־17 בספטמבר 2026, OpenAI הייתה רשומה כזכאית לפרס מיליון הדולר של ג'סטין סאן על עבודתה בנוויה–סטוקס, אך הכסף לא נדרש.
- אימות פורמלי ב־Lean הוא ראיה חזקה לכך שמשפט נובע מההנחות שקודדו, אך אינו מחליף בדיקה חיצונית שהניסוח וההנחות תואמים בדיוק את בעיית המילניום.
- הפרשה כוללת גם מחלוקת על קדימות וייחוס: המתמטיקאי טריסטן באקמאסטר העלה טענות בנושא, ו־OpenAI חולקת עליהן.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
פרס של מיליון דולר הוענק על הנייר, אבל OpenAI לא מיהרה לאסוף אותו. לפי דיווחים, החברה נרשמה כזכאית לפרס הבכיר בתוכנית הפרסים החדשה של ג'סטין סאן על תוצאת נוויה–סטוקס שעליה דיווחה — אולם הפרס נותר ללא דרישה. זה אינו רק פרט כספי: הוא מדגיש את הפער בין הוכחה שניתנת לבדיקה ממוחשבת, פרס פרטי, והכרה מדעית רחבה. 3
8
9
מה בדיוק OpenAI טוענת שהוכיחה?
ב־8 בספטמבר 2026 פרסמה OpenAI תיאור של הוכחה אנליטית ופורמליזציה ב־Lean — מערכת להוכחות פורמליות — הנוגעות למשוואות נוויה–סטוקס התלת־ממדיות עבור זורם בלתי דחיס. לטענתה, זורם חלק שמתחיל במנוחה יכול, בהשפעת כוח חיצוני חלק, לפתח סינגולריות בזמן סופי. 6
ההבחנה החשובה היא בהיקף הטענה. לפי ניסוח בעיית קליי, מדובר במסלול של דוגמה נגדית עם כוח חיצוני: מקרים C ו־D. הטענה אינה מוכיחה את חלופות הסדירות הגלובלית ללא כוח חיצוני, מקרים A ו־B. לכן הכותרת הפשוטה מדי "משוואות נוויה–סטוקס נפתרו" עלולה להטעות: מדובר בטענת פריצת דרך משמעותית, אך לא בהכרח בכל מה שקוראים נוהגים להבין כפתרון מלא של הבעיה. 6
18
19
10,000 סוכנים — ו־Lean שבודק את הניסוח
OpenAI מסרה כי החלה לבחון את הבעיה באמצעות מודל פנימי שעדיין היה בתהליך אימון ב־28 באוגוסט, והרחיבה את המאמץ לאחר 1 בספטמבר. לפי החברה, המערכת הפעילה קבוצות מתואמות של סוכנים עם גישה לקוד ולחומרי רשת שנשמרו במטמון; בעבודת נוויה–סטוקס השתתפו כ־10,000 סוכנים במקביל. 6
בדיווחים נאמר כי שלב הגילוי נמשך כ־88 שעות, ולאחריו GPT-6 Astra הקדיש כ־17 שעות לפורמליזציה ולבדיקת ההוכחה ב־Lean. OpenAI הדגישה שהמודל שגילה את התוצאה היה מערכת פנימית בעלת יכולות גבוהות בהרבה מ־GPT-6 Astra; תפקידו של Astra היה קשור לפורמליזציה ולאימות, ולא בהכרח לגילוי המתמטי המקורי. 6
8
זהו הבדל מהותי. בדיקת Lean יכולה לספק ביטחון רב שמשפט מוגדר נובע מן ההנחות שהוזנו למערכת. אבל היא אינה מכריעה לבדה אם אותן הנחות אכן כוללות את כל התנאים שנדרשים בהגדרה של בעיית קליי, ואינה תחליף להערכה עצמאית של מתמטיקאים לגבי ההיקף והפרשנות של ההוכחה.
מדוע מכון קליי עדיין לא העניק את הפרס שלו?
פרס המילניום של מכון קליי למתמטיקה הוא פרס נפרד לגמרי מפרס סאן. ב־11 בספטמבר מסר המכון שהוא בוחן את הודעת OpenAI על פי כלליו, והדגיש שהתהליך מתנהל במכוון ללא חיפזון. 1
כללי פרסי המילניום של קליי דורשים שהצעה לפתרון תתפרסם במסגרת פרסום מתאימה, שיחלפו לפחות שנתיים מן הפרסום, ושהפתרון יזכה לקבלה כללית בקהילת המתמטיקה העולמית לפני שהמכון ישקול הענקת פרס. 1
מכאן שהמצב המעשי ברור: OpenAI פרסמה טענה וחומר פורמלי, אך מכון קליי לא הכיר בה כתוצאת פרס מילניום. עדיין נדרשת בדיקה בלתי תלויה של ההוכחה האנליטית, של הפורמליזציה, ושל ההתאמה המדויקת לתנאי הבעיה. 1
6
מהו פרס ג'סטין סאן — ולמה הוא לא מחליף את קליי?
סאן הכריז ב־16 בספטמבר על תוכנית פרסים מבוזרת למחקר יסודי ולאימות פורמלי ממוחשב. בסבב הראשון נכללו 66 בעיות מתמטיות, והתוצאה שעליה דיווחה OpenAI בנוויה–סטוקס קיבלה את הפרס העליון, עד מיליון דולר. 3
14
התוכנית נועדה להכיר במהירות רבה יותר בהוכחות הניתנות לאימות מכונה, ומוצגת כפתוחה לחוקרים אנושיים, למערכות בינה מלאכותית ולשיתופי פעולה בין אדם למכונה. 4
14
אלא שזהו פרס פרטי, עם תנאי זכאות משלו. זכייה במסגרתו אינה מחייבת את מכון קליי או את קהילת המתמטיקה לראות בתוצאה הוכחה סופית, לקבוע קדימות מדעית, או להכריז שהוויכוח הוכרע.
אז למה הכסף נשאר על השולחן?
לפי דיווחים על מאגר הפרס, OpenAI סומנה כזכאית לממש את הפרס — אך לא עשתה זאת. אותם דיווחים קישרו בין ההחלטה לבין המחלוקת שטרם הוכרעה על מקור ההוכחה, ולכך ש־OpenAI לא ביקשה בשלב זה לקדם את קבלת פרס קליי. 8
9
OpenAI לא קבעה בפומבי, בחומרים הנבחנים כאן, סיבה חד־משמעית לסירוב או לדחיית המימוש. לכן המסקנה הזהירה היא שמימוש של פרס פרטי, בזמן שהיקף ההוכחה, מקורה והקרדיט עליה עדיין שנויים במחלוקת, עלול להיתפס כהצהרה מוקדמת על סופיות או קדימות — עוד לפני תהליך האימות המקצועי המקובל.
מחלוקת הייחוס אינה שולית
טריסטן באקמאסטר, מתמטיקאי מאוניברסיטת ניו יורק, טען שעבודת OpenAI הסתמכה על מחקר שלא פורסם לציבור. OpenAI חולקת על הטענה, והדיווחים הזמינים אינם מציגים הכרעה עצמאית סופית במחלוקת. 1
20
ב־Nature נטען שהאירוע ממחיש את הצורך בשיתוף פעולה הדוק יותר בין חברות AI לקהילת המחקר בכל הנוגע לייחוס ולמתן קרדיט. במתמטיקה הנעזרת בבינה מלאכותית אפשר לחפש, לשלב ולנסח רעיונות בקנה מידה חריג — אך קשה יותר לשחזר את מקורו של רעיון מסוים ואת שאלת הקדימות. 17
20
המחלוקת אינה מוכיחה שההוכחה הפורמלית שגויה. היא כן מזכירה שנכונות מתמטית וקרדיט מדעי הן שתי שאלות נפרדות, ושתיהן חשובות כשמדובר בטענה שעשויה להשפיע על תחום מרכזי במתמטיקה.
השורה התחתונה
הטענה של OpenAI יוצאת דופן: החברה מדווחת על בנייה של סינגולריות בזמן סופי במסגרת מסוימת של נוויה–סטוקס, שהתגלתה באמצעות מערך גדול של סוכני AI ומלווה בפורמליזציה ב־Lean. 6
18
19
אבל נכון לעכשיו, אין לתאר זאת כפתרון של בעיית המילניום שהוכר בידי מכון קליי. פרס סאן בסך מיליון דולר דווח ככזה שנותר ללא דרישה, הליך הבדיקה של קליי נפרד ואיטי בהרבה, ומחלוקת הייחוס טרם נפתרה. 1
8
9
20
אבני הדרך הבאות הן ביקורת עצמאית של המתמטיקה, בדיקה מדוקדקת שהניסוח הפורמלי תואם לתנאי הבעיה, והבהרה אמינה של שאלות הקדימות והמחברוּת. עד אז, התיאור המדויק ביותר הוא: טענה מתמטית משמעותית במיוחד שנוצרה בעזרת AI, עם רכיב שניתן לבדיקה ממוחשבת — אך לא תוצאה סופית שהתקבלה בקונצנזוס.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "למה OpenAI לא מימשה את פרס מיליון הדולר של ג'סטין סאן"?
נכון ל־17 בספטמבר 2026, OpenAI הייתה רשומה כזכאית לפרס מיליון הדולר של ג'סטין סאן על עבודתה בנוויה–סטוקס, אך הכסף לא נדרש.
What are the key points to validate first?
נכון ל־17 בספטמבר 2026, OpenAI הייתה רשומה כזכאית לפרס מיליון הדולר של ג'סטין סאן על עבודתה בנוויה–סטוקס, אך הכסף לא נדרש. אימות פורמלי ב־Lean הוא ראיה חזקה לכך שמשפט נובע מההנחות שקודדו, אך אינו מחליף בדיקה חיצונית שהניסוח וההנחות תואמים בדיוק את בעיית המילניום.
What should I do next in practice?
הפרשה כוללת גם מחלוקת על קדימות וייחוס: המתמטיקאי טריסטן באקמאסטר העלה טענות בנושא, ו־OpenAI חולקת עליהן.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
openai.comOn the Navier–Stokes Millennium Prize Problem
nature.comDaily briefing: OpenAI claims a huge maths breakthrough