AnswersPublished20 sources
טענת OpenAI להוכחת נוויה–סטוקס: מה הוכרז ומה עדיין דורש אימות
ב־8 בספטמבר 2026 הודיעה OpenAI כי מערכת פנימית, שבה פעלו כ־10,000 סוכני בינה מלאכותית מתואמים, יצרה כתב יד בן 166 עמודים ופורמליזציה ב Lean של סינגולריות בזמן סופי בזרימת נוויה–סטוקס תלת־ממדית עם כוח חיצוני. לפי הטענה, נוזל חלק שמתחיל במנוחה ומופעל עליו כוח חלק מפתח מערבולת שמתכווצת ונמתחת; המהירות נעשית בלתי־חסומה...
פורסם על ידינערך באמצעות GPT-5.6 Terraהתמונות נוצרו באמצעות GPT Image 2
Research answer
Key takeaways
- ב־8 בספטמבר 2026 הודיעה OpenAI כי מערכת פנימית, שבה פעלו כ־10,000 סוכני בינה מלאכותית מתואמים, יצרה כתב יד בן 166 עמודים ופורמליזציה ב Lean של סינגולריות בזמן סופי בזרימת נוויה–סטוקס תלת־ממדית עם כוח חיצוני.
- לפי הטענה, נוזל חלק שמתחיל במנוחה ומופעל עליו כוח חלק מפתח מערבולת שמתכווצת ונמתחת; המהירות נעשית בלתי־חסומה בזמן סופי, אף שהאנרגיה הכוללת נשארת סופית.
- בדיקת Lean היא ראיה חזקה לכך שהטיעון המקודד תקין לוגית, אך חוקרים עצמאיים עדיין צריכים לקבוע שהמשפט המקודד וההנחות אכן תואמים במדויק את בעיית קליי.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. 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, charts with fa
ההודעה של OpenAI מ־8 בספטמבר היא אחת הטענות הבולטות ביותר עד כה במפגש בין בינה מלאכותית למתמטיקה: החברה מסרה שמערכת פנימית שטרם פורסמה מצאה גם הוכחה אנליטית וגם פורמליזציה ב־Lean לכך שזרימת נוויה–סטוקס בלתי־דחיסה בתלת־ממד יכולה לפתח סינגולריות בזמן סופי. לצד הטענה פורסמו כתב יד בן 166 עמודים והפורמליזציה. אם ההוכחה נכונה, ייתכן שמדובר בפתרון של בעיית המילניום של מכון קליי; אבל זו עדיין אינה הכרעה של קהילת המתמטיקה, וגם לא הענקת פרס. 10
18
27
מה OpenAI טוענת שהוכיחה
הבנייה המתוארת מתחילה בנוזל חלק שנמצא במנוחה, ועליו מופעל כוח חיצוני חלק. לפי OpenAI, הזרימה יוצרת מערבולת המסתחררת פנימה ובו בזמן מתארכת יותר ויותר. בזמן סופי נוצרת סינגולריות: מהירות הנוזל נעשית בלתי־חסומה, אף שהאנרגיה הכוללת של הזרימה נשארת סופית. 10
44
זהו הבדל מהותי. השאלה אינה אם סימולציה מספרית עשויה להציג סחרור מהיר מאוד, אלא אם המשוואות עצמן מאפשרות פתרון חלק ובעל אנרגיה סופית שמאבד את חלקותו בזמן סופי. הטענה של OpenAI היא שבנתה דוגמה ייעודית שמבססת אפשרות כזו תחת כוח חיצוני חלק. 10
מדוע הדבר עשוי לפתור את בעיית קליי
בניסוח הרשמי של מכון קליי יש כמה דרכים אפשריות לפתור את הבעיה. באופן כללי, אפשר להוכיח חלקות גלובלית של הפתרונות, או להציג מקרה שבו החלקות קורסת. OpenAI אומרת שהבנייה שלה מקיימת את חלופות C ו־D בנוסח של קליי — חלופות מסוג דוגמה נגדית, הכוללות כשל של החלקות בזמן סופי, גם בתרחיש עם כוח חיצוני חלק. 10
17
אם ההוכחה נכונה ואם המשפט הפורמלי שלה תואם במדויק את הגדרת בעיית קליי, היא תכריע את הדיכוטומיה המתמטית בכך שתראה שחלקות גלובלית אוניברסלית אינה מתקיימת בתנאים שנקבעו. מכון קליי תיאר את ההכרזה כהתיישבות לכאורה של הבעיה, אך הדגיש שהקהילה המתמטית חייבת לבחון אותה. 18
כ־10,000 סוכנים ו־88 שעות עבודה
בדיווחים על ההכרזה תוארה קבוצת עבודה של כ־10,000 סוכנים אוטונומיים, שפעלה על מודל מתקדם ולא־מפורסם של OpenAI. החברה תיארה מערכת שמרכזת את עבודת הסוכנים כדי להפיק גם את המאמר המתמטי הרגיל וגם את הפורמליזציה ב־Lean; דיווחים אחרים ציינו ריצה שנמשכה 88 שעות. 10
12
2
הנקודה החשובה היא שהתוצר לא הוצג רק כרעיון של מודל או כניסוי חישובי. הטענה היא שהמערכת הפיקה טיעון אנליטי מלא, וכן ייצוג שניתן לבדיקה מכנית.
מה פורמליזציה ב־Lean כן מוכיחה — ומה לא
Lean הוא מסייע הוכחות: הוא בודק אם משפט נובע מהגדרות, מאקסיומות ומתוצאות קודמות שפורמלו, על פי הוכחה מקודדת בדיוק רב. בדיקה מוצלחת ב־Lean יכולה לצמצם מאוד את הסיכון לשגיאה לוגית רגילה, שלב אחר שלב, בטיעון הפורמלי. OpenAI פרסמה את הפורמליזציה לצד ההוכחה. 10
עם זאת, בדיקה ממוחשבת אינה מבטלת את השאלות האנושיות המרכזיות:
- האם המשפט שקודד מייצג בדיוק את טענת נוויה–סטוקס המבוקשת?
- האם ההנחות וההגדרות תואמות את הניסוח של מכון קליי?
- האם הפורמליזציה אכן לוכדת נאמנה כל צעד מהותי בבנייה האנליטית?
לכן ביקורת של מומחים עצמאיים עדיין חיונית. הוכחה פורמלית היא נכס אימות רב־עוצמה, אך אינה תחליף אוטומטי לפרשנות מתמטית ולקבלה מקצועית רחבה.
לא פריצת דרך מיידית בהנדסת זורמים
גם אם הבנייה תאומת, אין פירוש הדבר שזרימת אוויר סביב מטוס, מערבולות בצינורות, מערכות מזג אוויר או זרימת דם עומדות לפתח מהירויות אינסופיות ממש. התרחיש שהוכרז משתמש בכוח חיצוני חלק שתוכנן במיוחד ובמבנה מערבולתי מסוים מאוד. הוא מוכיח אפשרות בתוך המשוואות, ולא מראה שזרימות שגרתיות בעולם הפיזי מתפתחות כך באופן טבעי. 10
44
יש גם מגבלת מודל מעשית: נוויה–סטוקס היא תיאור רציף של נוזל. בקני מידה זעירים דיים הפיזיקה המולקולרית נעשית רלוונטית, ולכן אין לקרוא לסינגולריות מתמטית במודל הרציף תחזית למהירות אינסופית בנוזל אמיתי.
מכאן שהחשיבות המיידית של התוצאה, אם תאושר, היא בעיקר מתמטית ומתודולוגית: היא עוסקת במה שהמשוואות מאפשרות, ולא בכלי חדש ומוכן לתכנון מטוסים או לחיזוי מזג אוויר.
מחלוקת על קדימות וקרדיט
ההכרזה הציתה גם מחלוקת על קרדיט ועל תזמון. טריסטן באקמאסטר (Tristan Buckmaster) מאוניברסיטת ניו יורק ולוונט אלפוגה (Levent Alpöge) מאנתרופיק הודיעו זמן קצר לפני פרסום OpenAI על עבודה בסיוע בינה מלאכותית ובפורמליזציה ב־Lean, שעסקה בתוצאות קרובות של התבדרות בזמן סופי במשוואות זורמים מאולצות. עבודתם נשענה על אסטרטגיה קודמת המזוהה עם דייגו קורדובה ולואיס מרטינס־זורואה. 1
2
5
באקמאסטר ואלפוגה העלו חשש ש־OpenAI נהנתה מידע על עבודתם שטרם פורסמה או מההכרזה עליה, ושהאופן שבו הוצגה העבודה לציבור לא שיקף במידה מספקת את השושלת האנושית של הרעיונות הקרובים. הראיות שבמקורות מבססות קיומה של מחלוקת על קדימות; הן אינן מבססות קביעה שהייתה העתקה. 1
13
הפרשה מדגישה אתגר רחב יותר במחקר שמסתייע בבינה מלאכותית: חלוקת הקרדיט עשויה להידרש להביא בחשבון רעיונות אנושיים קודמים, שותפים שמבצעים פורמליזציה או אימות, מפתחי המערכת והמודלים ששימשו לגילוי.
למה עדיין חשוב להבין את ההוכחה כבני אדם
הוכחה תקפה יכולה להיות בעלת חשיבות היסטורית גם אם היא תוצר של הנדסה מורכבת מאוד. אבל מתמטיקאים מחפשים גם הסברים שחושפים מבנה שניתן לעשות בו שימוש חוזר: מדוע התופעה מתרחשת, אילו רעיונות ניתנים להכללה, וכיצד ההוכחה משנה את ההבנה של בעיות קרובות.
כאן נוצר מתח פורה במחקר מתמטי מונע־AI. חיפוש בקנה מידה עצום באמצעות סוכנים עשוי למצוא בניות שבני אדם לא שיערו. מנגד, אם התובנה המכרעת קשה לפענוח אנושי, ייתכן שהיא תספק פחות הכוונה מושגית מהוכחה קצרה ומסבירה יותר. לכן טענת OpenAI היא מבחן לא רק לאימות של הוכחות, אלא גם לשאלה אם מערכות בינה מלאכותית יכולות לתרום להבנה מתמטית שתישאר שימושית לאורך זמן.
האם פרס המיליון של מכון קליי כבר הוענק?
לא. OpenAI מסרה שאינה מתכוונת לתבוע את פרס המילניום. לפי כללי מכון קליי, כדי שהמכון ישקול פתרון מוצע עליו להתפרסם בבמה כשירה, לעמוד לבחינה לפחות שנתיים ממועד הפרסום, ולזכות בקבלה כללית בקהילת המתמטיקה העולמית. 10
27
בהודעת המכון מספטמבר נאמר שהבעיה כנראה נפתרה, ושהמכון בוחן את ההכרזה יחד עם הקהילה המתמטית. זו הכרה בחשיבות הטענה — לא הכרעה סופית. 18
נכון לעכשיו, התיאור המדויק הוא זה: OpenAI פרסמה טענה יוצאת דופן, שעברה פורמליזציה ממוחשבת, לקיומה של התבדרות בזמן סופי במשוואות נוויה–סטוקס תלת־ממדיות. מעמדה הסופי תלוי בכך שמתמטיקאים עצמאיים יאשרו שההוכחה והפורמליזציה ב־Lean מבססות בדיוק את המשפט הנטען. 10
18
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 להוכחת נוויה–סטוקס: מה הוכרז ומה עדיין דורש אימות"?
ב־8 בספטמבר 2026 הודיעה OpenAI כי מערכת פנימית, שבה פעלו כ־10,000 סוכני בינה מלאכותית מתואמים, יצרה כתב יד בן 166 עמודים ופורמליזציה ב Lean של סינגולריות בזמן סופי בזרימת נוויה–סטוקס תלת־ממדית עם כוח חיצוני.
What are the key points to validate first?
ב־8 בספטמבר 2026 הודיעה OpenAI כי מערכת פנימית, שבה פעלו כ־10,000 סוכני בינה מלאכותית מתואמים, יצרה כתב יד בן 166 עמודים ופורמליזציה ב Lean של סינגולריות בזמן סופי בזרימת נוויה–סטוקס תלת־ממדית עם כוח חיצוני. לפי הטענה, נוזל חלק שמתחיל במנוחה ומופעל עליו כוח חלק מפתח מערבולת שמתכווצת ונמתחת; המהירות נעשית בלתי־חסומה בזמן סופי, אף שהאנרגיה הכוללת נשארת סופית.
What should I do next in practice?
בדיקת Lean היא ראיה חזקה לכך שהטיעון המקודד תקין לוגית, אך חוקרים עצמאיים עדיין צריכים לקבוע שהמשפט המקודד וההנחות אכן תואמים במדויק את בעיית קליי.