המודל של OpenAI פתר בעיה של מיליון דולר: נאוויה-סטוקס ועוד 100 בעיות פתוחות (ספטמבר 2026)

מודל פנימי של OpenAI, שהאימון שלו התחיל ב-28 באוגוסט 2026, פתר לפי החברה את בעיית נאוויה-סטוקס ויותר ממאה בעיות פתוחות בכמעט כל תחומי המתמטיקה. במקביל הודיעה OpenAI על הקמת גוף ייעוץ עצמאי בן תשעה חברים שיארח המכון ללימודים מתקדמים בפרינסטון, Advisory Group on Mathematics and Artificial Intelligence. (מקור: TechCrunch, 21 בספטמבר 2026)

STSICONIC (אס טי אס אייקוניק) היא חברת הטמעת AI לעסקים ולארגונים בישראל. אנחנו מאחדים את כל המערכות שלך למערכת אחת ועושים סדר בעסק, מחברות קטנות ועד ארגונים גדולים.

מה זה פרס המילניום, ולמה נאוויה-סטוקס

בשנת 2000 בחר מכון קליי למתמטיקה שבע בעיות שנחשבו לקשות ביותר במתמטיקה והציע מיליון דולר על פתרון כל אחת. עד היום נפתרה רק אחת מהן, השערת פואנקרה, על ידי המתמטיקאי הרוסי גריגורי פרלמן בשנת 2003. הוא סירב לקחת את הכסף.

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

זו לא שאלה תיאורטית בלבד. היא הסיבה שתחזיות מזג אוויר לטווח ארוך לא מדויקות, והיא בלב כל סימולציה של זרימה.

מה בדיוק OpenAI הודיעה, ומה היא לא הודיעה

ההודעה כוללת שני דברים נפרדים שכדאי להפריד ביניהם.

הראשון הוא טענה על תוצאה. מודל פנימי שהאימון שלו התחיל ב-28 באוגוסט הגיע לפתרון של נאוויה-סטוקס ושל יותר ממאה בעיות פתוחות נוספות. זה פרק זמן של פחות מארבעה שבועות.

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

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

המתמטיקאים לא מריעים

ממש לאחרונה חתמו 25 זוכי מדליית פילדס, הפרס היוקרתי ביותר במתמטיקה, על מכתב פתוח שבו הם מביעים דאגה ממעבדות AI שממהרות לפרסם תוצאות ומערערות בכך על אמות המידה המקובלות של מחקר אקדמי. זה לא ויכוח על האם ה-AI שימושי במתמטיקה. זה ויכוח על מי בודק, מתי מפרסמים, ומה נחשב להוכחה.

ההקשר חשוב כדי להבין למה הוקם גוף הייעוץ בדיוק עכשיו, ובמכון שהוא אחד מסמלי המחקר המתמטי בעולם. זו תשובה של OpenAI לביקורת, והיא מודה בעקיפין שהביקורת קיימת.

איך זה מסתדר מול מה שקרה אתמול בשוק

באותו יום עצמו גוגל פתחה הזמנות למחשב נייד משלה שבנוי סביב ג'מיני. שתי ההודעות באותו יום מציירות היטב את החזית הכפולה של 2026: מצד אחד מרוץ על מה שהמודלים מסוגלים לעשות במחקר, ומצד שני מרוץ על היכן הם יושבים ביומיום שלנו. אפשר לקרוא על ההשקה הזאת בכתבה על Googlebook של גוגל.

למה זה משנה לכל אחד

• זה המבחן הכי נקי שיש ל-AI. במתמטיקה אין ויכוח על טעם. הוכחה או נכונה או לא, וכל אחד יכול לבדוק. לכן דווקא כאן נדע מהר מאוד אם מדובר בקפיצה אמיתית או בהגזמה שיווקית.
• אם זה נכון, זה נוגע לדברים שאתם משתמשים בהם. נאוויה-סטוקס נמצאת בתחזית מזג האוויר, בתכנון מטוסים, בזרימת דם ובצינורות מים. הבנה טובה יותר שלה מתגלגלת בסוף לכלים שמשפיעים על חיי היומיום, גם אם זה לוקח שנים.
• וזה שיעור מצוין בקריאת חדשות AI. ההבדל בין "מודל פתר" לבין "מתמטיקאים אישרו שהמודל פתר" הוא כל ההבדל. כשקוראים הודעה של חברה, שווה תמיד לחפש את השורה שאומרת מי בדק את זה חוץ ממנה.
• המקצוע לא נעלם, הוא משנה צורה. אם המכונה מייצרת מועמדים לפתרון, העבודה האנושית עוברת לשאלה אילו שאלות בכלל שווה לשאול ומי מאמת. זה בדיוק מה שקורה גם בתחומים אחרים שבהם AI נכנס.
• ולמי שמנהל עסק או ארגון: אותו כלל בדיוק חל על כל הבטחה של ספק AI. השאלה אף פעם אינה מה המודל יודע לעשות בהדגמה, אלא מי בדק את התוצאה על הנתונים שלכם.