טענת OpenAI לפתרון נוויה–סטוקס: מה קרה ולמה פרצה סערה בעולם המתמטיקה

הודעת OpenAI מ־8 בספטמבר הייתה יוצאת דופן: החברה טענה להתקדמות באחת הבעיות הפתוחות החשובות ביותר במתמטיקה. אבל היא גם עוררה מיד התנגדות חריפה, משום שהכרזה על הוכחה — גם אם מצורפת לה בדיקה פורמלית — אינה שקולה להוכחה שנבדקה באופן עצמאי והתקבלה בקהילה המתמטית.

מה בדיוק OpenAI טענה

OpenAI מסרה שמערכת פנימית שטרם פורסמה הפיקה הוכחה אנליטית ופורמליזציה ב־Lean, שלפיה זרימת נוויה–סטוקס תלת־ממדית שמתחילה במצב חלק יכולה לפתח סינגולריות בזמן סופי. במילים פשוטות: התנהגות הפתרון עשויה להגיע לנקודה שבה המודל המתמטי "מתפוצץ" ואינו נשאר חלק. לפי החברה, הקבוצה שהגיעה לתוצאה כללה בסדר גודל של 10,000 סוכנים שפעלו במקביל. 2

אם הטענה תעמוד בבדיקה ותתאים לניסוח הרשמי של הבעיה, היא תכריע את שאלת הקיום והחלקות בכיוון השלילי: פתרונות חלקים אינם בהכרח נשארים חלקים לכל זמן. בעיית המילניום של מכון קליי עוסקת בקיום ובחלקות של פתרונות נוויה–סטוקס במרחב אוקלידי תלת־ממדי. 18

למה בעיית נוויה–סטוקס חשובה כל כך

משוואות נוויה–סטוקס מתארות תנועת נוזלים וגזים, ולכן הן יסוד מרכזי בתורת הזורמים. אף שהן נוסחו כבר במאה ה־19, ההבנה המתמטית של ההתנהגות הכללית שלהן בתלת־ממד עדיין מוגבלת מאוד. 30

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

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

למה לא הוכרז מיד על פתרון סופי

ב־11 בספטמבר הודיע מכון קליי למתמטיקה כי הוא בוחן את ההכרזה שלפיה הבעיה "כנראה נפתרה", אך הדגיש שתהליך ההערכה וקביעת הקרדיט נעשה בכוונה ללא חיפזון. 18

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

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

לכן התיאור המדויק בשלב זה הוא: טענה הנתונה לבחינה, ולא פתרון שהתקבל באופן אוניברסלי או זכה לאישור הפרס.

מחלוקת על קדימות וקרדיט

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

באקמאסטר העלה גם טענות להתנהלות לא תקינה בשיחות על ייחוס ושותפות. OpenAI דחתה את הטענות הרחבות יותר ומסרה שחוקריה וסוכניה לא ראו את עבודתם של השניים לפני שפורסמה בפומבי, ושלא נעשה שימוש בנתוני משתמש מסוימים כדי לפתור את הבעיה. 53

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

שאלת הנתונים: מה OpenAI אישרה ומה לא

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

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

הלקח המעשי לחוקרים הוא לבדוק מראש את מדיניות הנתונים של כל מוצר לפני שמעלים אליו חומרים רגישים או לא־מפורסמים.

אזהרת זוכי מדליית פילדס

ב־11 בספטמבר פרסם טרנס טאו הצהרה שכותרתה A Severe Misalignment of AI in Mathematics, עם 25 חותמים ראשונים — כולם זוכי מדליית פילדס. 43

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

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

מה נדרש ממחקר מתמטי בסיוע AI

הפרשה מציעה סטנדרט מעשי לטענות מחקר חריגות:

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

השורה התחתונה

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

התגובה החריפה המחישה מדוע התהליך הזה חשוב: ככל ש־AI נכנסת למחקר בעל השלכות גדולות, אמון לא יישען רק על מה שמערכות מסוגלות לגלות — אלא גם על היכולת לאמת, להסביר ולייחס את התגליות שלהן בהגינות.