מה קרה כאן בעצם
ב-8 בספטמבר 2026 OpenAI פרסמה פתרון לבעיית נאבייר-סטוקס, אחת משבע בעיות המילניום. השאלה הייתה פתוחה כמעט 90 שנה.
אבל מה שמעניין אותנו במדריך הזה הוא לא המתמטיקה. זה איך הם עבדו. הם לא נתנו את הבעיה למודל אחד גדול וחיכו. הם בנו צי של סוכנים, נתנו לקבוצות שונות גרסאות שונות של אותה שאלה, ואיחדו את התובנות באמצע הדרך. זו תבנית עבודה, והיא לא שייכת רק למי שפותר בעיות מילניום.
המספרים
| מה | כמה |
|---|---|
| סוכנים במקביל | בסדר גודל של 10,000, בקבוצה שפתרה את נאבייר-סטוקס |
| זמן ריצה | 88 שעות מרגע שהסוכנים הראשונים עלו |
| הודעות בין הסוכנים | 2.7 מיליון על הבעיה הזו, 4.9 מיליון על כל הבעיות יחד |
| טוקנים | בערך 130 מיליארד על הבעיה הזו, בערך 300 מיליארד בסך הכול |
| אימות | 17 שעות נוספות של פורמליזציה ובדיקה, על ידי מודל אחר |
מפת העבודה: שבעה שלבים
זה מה שהם עשו בפועל, ומה המקביל שלו בעבודה רגילה עם סוכנים.
| שלב | מה הם עשו | מה זה אצלכם |
|---|---|---|
| שלב ראשון: חימום על בעיה קטנה | קודם שלחו בערך 100 סוכנים לבעיה קרובה וקלה יותר, והם פתרו אותה בכ-50 שעות | תריצו קודם על גרסה מוקטנת של המשימה. אם התבנית לא עובדת שם, היא לא תעבוד בגדול |
| שלב שני: פיצול לקבוצות | הסוכנים חולקו לקבוצות, וכל אחד דיבר רק בתוך הקבוצה שלו | שלושה עד חמישה סוכנים לכל כיוון, ולא סוכן אחד ענק. קבוצה שמדברת עם עצמה מתכנסת |
| שלב שלישי: גרסאות סותרות | חלק מהקבוצות קיבלו ניסוח שמוביל להוכחה, וחלק ניסוח שמוביל להפרכה | תנו לחצי מהסוכנים לנסות להוכיח שזה בלתי אפשרי. זה מה שחוסך לכם שבוע על כיוון מת |
| שלב רביעי: כלים מוגבלים | לסוכנים היו שני כלים: קריאה מעותק שמור של האינטרנט, והרצת קוד | אל תתנו יותר כלים ממה שצריך. כל כלי נוסף הוא עוד דרך להסתבך |
| שלב חמישי: האבקה צולבת | באמצע הדרך אספו את התובנות הטובות מכל קבוצה, איחדו אותן והזריקו חזרה לסוכנים | סבב סיכום באמצע. תבקשו סיכום מכל כיוון, אחדו ידנית, ותנו את זה כקונטקסט להמשך |
| שלב שישי: החלפת מודל | כשגרסה חדשה ומאומנת יותר של המודל נכנסה, הם העבירו את הסוכנים אליה תוך כדי | מודל חדש יוצא באמצע העבודה? תעבירו את המשימה, לא תתחילו מאפס |
| שלב שביעי: אימות בנפרד | אחרי שההוכחה הייתה מוכנה, מודל אחר השקיע 17 שעות בלתרגם אותה לצורה שמכונה יכולה לבדוק שלב-שלב | סוכן נפרד, שלא כתב את הפתרון, שכל תפקידו לבדוק אותו. טסטים, הרצה, ביקורת קוד |
שלושת העקרונות שמחזיקים את כל זה
מקביליות על גרסאות, לא על אותה שאלה
עשרת אלפים סוכנים שכולם מנסים בדיוק את אותו דבר זה בזבוז. הכוח מגיע מזה שכל קבוצה קיבלה ניסוח אחר, כולל ניסוחים שמובילים למסקנה הפוכה. ככה הם כיסו את כל מרחב האפשרויות במקום להעמיק בכיוון אחד.
מאחד באמצע
סוכנים במקביל לא לומדים אחד מהשני לבד. בלי סבב שאוסף את התובנות ומזריק אותן חזרה, קיבלתם עשרת אלפים התחלות ואפס התקדמות. זה השלב שאנשים מדלגים עליו, וזה השלב שעושה את ההבדל.
בודק נפרד מכותב
מי שכתב את הפתרון הוא לא מי שבדק אותו. האימות נעשה על ידי מודל אחר, בכלים אחרים, ולקח 17 שעות בפני עצמו. אם אתם מבקשים מהסוכן שכתב את הקוד גם לבדוק את הקוד, לא בדקתם כלום.
איך מריצים את זה אצלכם
לא צריך 10,000 סוכנים. התבנית עובדת גם בארבעה. ככה זה נראה בפועל:
- תנסחו את המשימה, ואז תנסחו אותה עוד שלוש פעמים בצורה שונה. אחת מהן צריכה להיות ההיפך: למה זה לא יעבוד
- תפתחו סוכן לכל ניסוח, בחלון נפרד. אל תתנו להם לראות אחד את השני
- תנו לכל אחד את אותם כלים, ומעט כלים
- אחרי סבב אחד, תבקשו מכל אחד סיכום קצר של מה עבד ומה נפסל
- תאחדו את הסיכומים לקונטקסט אחד, ותתנו אותו לכולם לסבב שני
- בסוף, תפתחו סוכן חמישי שכל תפקידו לנסות לשבור את התוצאה
תבנית הפרומפט לסבב האיחוד
זה הפרומפט של שלב 5, השלב שאנשים מדלגים עליו. תעתיקו אותו כמו שהוא:
Below are summaries from 4 agents that attacked the same task
from different angles. Some argued it is impossible.
1. List every insight that more than one agent reached independently.
2. List every dead end, and say in one line why it died.
3. Name the single strongest open objection to the leading approach.
4. Output the plan for round 2 as numbered steps, nothing else.
טיפים
- אל תריצו את התבנית על משימה שסוכן אחד גומר בחמש דקות. היא משתלמת רק כשהכיוון עצמו לא ברור
- הסוכן שמנסה להפריך הוא הכי שווה מהחמישה. אל תוותרו עליו כדי לחסוך זמן
- סיכום של כל סוכן צריך להיות קצר. אם הוא ארוך, הקונטקסט המאוחד יתפוצץ
- תשמרו את הסיכומים בקובץ. זה מה שמאפשר לכם להחליף מודל באמצע בלי להתחיל מאפס
- קבעו תקציב לפני שמתחילים. OpenAI שרפה כאן בערך 130 מיליארד טוקנים, וזה לא תקציב של תחביב
- אם שני סוכנים מגיעים לאותה תובנה לבד, זה סימן טוב. אם ארבעה מגיעים לאותה תובנה, בדקו שלא נתתם להם את התשובה בניסוח
מה זה לא: הקאץ’
חשוב להגיד את זה בפירוש. OpenAI עצמה כתבה שהיא לא מתכוונת לדרוש את פרס המילניום על התוצאה הזו. מכון Clay, שמנהל את הפרס, עדיין מסמן את הבעיה כלא פתורה, ומתמטיקאים עדיין עוברים על ההוכחה.
במילים אחרות: התבנית עבדה, הפלט מרשים, והאימות האנושי עוד לא נגמר. מי שמעתיק את מפת העבודה מקבל שיטת עבודה, לא הבטחה שכל תוצאה תהיה נכונה.
לינקים
- ההודעה הרשמית: openai.com/index/navier-stokes-solution
- ההוכחה המלאה, 166 עמודים: navier-stokes.pdf
- הפורמליזציה שאפשר להריץ: github.com/openai/NavierStokesAndEuler
- בעיות המילניום במכון Clay: claymath.org/millennium-problems
- כיסוי עיתונאי עצמאי: Quanta Magazine