# OpenAI אומרת שפתרה את נאוויה-סטוקס. פסק דין: NEEDS REVIEW.

Published: 2026-09-09

OpenAI אומרת שמודל פנימי, שהופעל כ-10,000 סוכנים מקבילים למשך 88 שעות, הפיק הוכחה מאומתת ב-Lean לכך שמשוואות נאוויה-סטוקס מתפוצצות בזמן סופי — בעיה מפרס המילניום פתוחה מאז 1934. שתים עשרה שעות קודם לכן, טריסטן בקמאסטר מאוניברסיטת ניו יורק פרסם הצהרה בת ארבעה עמודים על שיחת הטלפון ביום ראשון עם OpenAI ("למה שתהרוס את הקריירה שלך?"), טרנס טאו כתב שבעיות פתוחות נכרות כעת כמו משאב מתכלה, וחוקר מ-Anthropic האחראי על אימון מוקדם התפטר בגלל המרוץ. כמו כן: Meta משיקה את Muse, סוכן אישי עם מכונה וירטואלית משלו. פסק דין: NEEDS REVIEW.

Canonical: https://thedailydiff.dev/he/video/2026-09-09-navier-stokes-rumor/

## מה מכסה הסרטון הזה

- OpenAI: פיצוץ נאוויה-סטוקס, כ-10,000 סוכנים, 88 שעות, 130 מיליארד אסימוני פלט, מאומת ב-Lean
- בקמאסטר ואלפוג': שנה באותה גישה, שמועה, ושיחת יום ראשון עם שתי הצעות
- טרנס טאו: "אפילו השמועה שמישהו עובד על בעיה יכולה להפעיל כמות עצומה של מאמץ מבוסס בינה מלאכותית כדי לפתור אותה"
- ג'ייקוב קוקסון מתפטר מ-Anthropic: שתי המעבדות "דוהרות ישר לעבר בינה-על משתפרת עצמית"
- Meta משיקה את Muse: סוכן אישי על VM ענן משלו, בוואטסאפ, ארה"ב בלבד

## תמליל מתורגם

תורגם מהקריינות המקורית באנגלית. זמינות אודיו וכתוביות נשלטת על ידי YouTube.

0:00 אתמול, OpenAI הודיעה שהבינה המלאכותית שלה פתרה בעיה מפרס המילניום, פתוחה תשעים שנה, מיליון דולר, בשמונים ושמונה שעות, ושני המתמטיקאים שבילו שנה על אותה בעיה למדו על כך בשיחת טלפון ביום ראשון שעל פי אחד מהם כללה: למה שתהרוס את ה קריירה שלך? זה היה יום שני ארוך. עם שחר פרסם פרופסור מאוניברסיטת ניו יורק הצהרה בת ארבעה עמודים; אלף ושש מאות נקודות ב Hacker News. אחר הצהריים פרסמה OpenAI את ההוכחה.

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

0:49 יום רביעי, ה-9 בספטמבר, וזהו The Daily Diff. קודם כל המתמטיקה. נאוויה-סטוקס מתאר איך נוזלים נעים, ומאז 1934 איש לא ידע אם נוזל תלת-ממדי חלק יכול להגיע לסינגולריות: מהירות אינסופית בזמן סופי. המערכת של OpenAI אומרת שכן. התחל ממנוחה, הפעל כוח חלק, שמור על אנרגיה סופית, ומערבולת מתלפפת פנימה כמו ספגטי עד שהמהירות מתפוצצת. הצהרות C ו-D של ניסוח קליי, ב-Lean,

1:16 שבע עשרה שעות של Astra לאימות. אז נוזלים יכולים להתפוצץ, דבר שכל מי ששפך קפה על MacBook ידע, אבל עכשיו זה ב-Lean. איך: ל-OpenAI יש מודל פנימי חדש שהיא מכנה משמעותית יותר מסוגל מ- Astra, וב-1 בספטמבר הם שמעו שמועה ששתי בעיות מילניום נפתרו, אז הם הפנו אותו לכל בעיה פתוחה. קבוצת נאוויה-סטוקס: כעשרת אלפים סוכנים מקבילים, מאה ושלושים מיליארד אסימוני פלט; שלוש מאות מיליארד בכל

1:42 הבעיות. במחירי מחירון של Astra, חמישה עשר מיליון דולר של אסימונים עבור פרס של מיליון דולר ש-OpenAI אומרת שלא תדרוש, ובשולי רווח כזה, מי כן. הצד השני. טריסטן בקמאסטר מאוניברסיטת ניו יורק ולבנט אלפוג', שעובד ב-Anthropic, בילו שנה בדחיפת גישה של קורדובה ומרטינס-זורואה עם קלוד ו- Codex, משלמים ל-OpenAI מכספי המחקר של בקמאסטר. ב-15 באוגוסט הם קיבלו פיצוץ למשוואות אוילר; בקמאסטר מכנה את הוכחת LLM הראשונה המזעזעת ביותר שקרא אי פעם,

2:10 והיא אומתה ב-Lean ב-22 באוגוסט. ואז התפשטה שמועה, וב-3 בספטמבר הוא שלח אימייל ל-OpenAI: זו אנחנו, זה אישי, נפרסם בקרוב. ביום ראשון ב-12:45 OpenAI ביקשה להיפגש בכל שלב היום, וסבסטיאן בובק הצטרף. לבקמאסטר נאמר שהמודל הוכיח את נאוויה-סטוקס מאולצת עם מעט מאוד קלט אנושי, שבמהלך השיחה הפך לצוות שלם, בעיות קלות יותר קודם, הנחיה שנכתבה על ידי Codex, וכמות מטורפת של

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

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

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

3:55 ובכך להפוך מאות שנים של מדע פתוח. שלוש קבוצות פרסמו פיצוץ נוזלים בסוף שבוע אחד; המאמר הבא עשוי להיות NDA. זו האווירה שג'ייקוב קוקסון התפטר לתוכה: שלוש שנים של אימון מוקדם ב- OpenAI, ואז Anthropic; אף חברה לא פועלת באחריות, הוא אומר, שתיהן דוחרות לבינה-על משתפרת עצמית, והסוף לא צריך להיות מושק מ-Slack של חברה פרטית. ארבעים וארבעה מיליון צפיות, ביום שמעבדה אחת שמה עשרת אלפים סוכנים על שמועה,

4:21 אז השרשור הושק עם הדגמה חיה. בינתיים, Meta השיקה את Muse: סוכן אישי על VM ענן משלו עם דפדפן משלו, ואתה מדבר אליו בוואטסאפ. ארה"ב בלבד, חינם עבור רוב הדברים. Meta מבטיחה גרסה שאפילו Meta לא תוכל לקרוא, מאוחר יותר השנה, דרך מאוד ספציפית לתאר את השנה הזו. תגובת Hacker News המובילה: אני לא רוצה לשתף את חיי עם Meta ככה. שנייה: זה ממשיך לנסות למכור לי עגלה.

4:45 אם תעדיף לקרוא זאת מאשר לשמוע אותי אומר זאת, ה-diff נוחת בתיבת הדואר הנכנס שלך בכל בוקר — חינם ב-the daily diff dot dev, קישור למטה. אז — פסק הדין של היום: NEEDS REVIEW. ההוכחה מתקמפלת; הסיפור לא. עשרת אלפים סוכנים סוגרים בעיה בת תשעים שנה בסוף שבוע אחד היא התוצאה היכולתית של השנה; ההכרזה עליה בשיחת טלפון ביום ראשון לשני האנשים שמהם שמעת על כך, אינה כזו.

5:07 וזה ה-diff להיום. אני ניקו מ-Axrisi. מזג באחריות.

## מקורות

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com