ב-26 באוקטובר 2026 הודיעה OpenAI כי מודלים פנימיים שלה הפיקו תוצאות באנליזה הרמונית, בסיבוכיות חישובית ובתורת השדות הקוונטית. שעות לאחר מכן הציגה Anthropic טענה מתחרה בנוגע להשערת הזמן האקספוננציאלי (ETH). אם התוצאות נכונות, עשויות להיות להן השלכות מעבר לעולם הבינה המלאכותית — אך לפי הדיווחים באותה עת, הן עדיין לא אומתו באופן עצמאי.
2
3
7
מה טענה OpenAI?
הוכחה להשערת ההחלקה המקומית. במאגר הציבורי של OpenAI מופיעים כתב היד Local smoothing for the Euclidean wave equation ופורמליזציה שלו ב-Lean — מערכת המסייעת לניסוח ולבדיקה פורמלית של הוכחות. לפי המאגר, ההוכחה מבססת את השערת ההחלקה המקומית של סוג'ה עבור גלים בכל ממד מרחבי של 2 ומעלה. עוד נכתב כי התוצאה גוררת את השערות Kakeya המקסימלית והממדית, וכן את אומדני ההגבלה הכדורית של שטיין בתוך התחום הפנימי של הטווח המשוער.
17 דיווח נפרד מציין שהשערתו של סוג'ה הוצעה ב-1991.
6 חשוב לדייק: מדובר באומדנים של שטיין במסגרת הטווח המתוארת, ולא בטענה שכל גרסה של השערת ההגבלה של שטיין נפתרה.
הפרכה של ETH. OpenAI אמרה שמודל שלה מצא הפרכה של ETH — השערה על הקושי החישובי של בעיות סיפוק נוסחאות בוליאניות — וציינה כי השערה זו משמשת בסיס לתוצאות מותנות רבות במדעי המחשב.
13 לפי הדיווחים, המודל הפיק את התוצאה ב-16 באוקטובר, והיא פורמלזה ב-Lean למחרת.
32 במאגר הציבורי של OpenAI מופיע כתב יד בשם The Exponential Time Hypothesis is False.
17
אם ההפרכה נכונה, היא עשויה לשנות את מעמדן של תוצאות הנשענות על ETH. עם זאת, אלגוריתם תת־אקספוננציאלי אינו בהכרח אלגוריתם פולינומי: למשל, 2^√n הוא זמן ריצה תת־אקספוננציאלי ביחס ל-n, אך עדיין גדל מהר יותר מכל פולינום קבוע. לכן, אפילו אלגוריתם תקף בזמן 2^o(n) ל-3-SAT יפריך את ETH, אך לא יוכיח כשלעצמו ש-P = NP. אלה שאלות קשורות, אך לא זהות.
13
33
תוצאת קיום בתורת השדות הקוונטית. OpenAI טענה גם להוכחת קיום מתמטית קפדנית עבור סוגים מסוימים של תורות שדה קוונטיות אינטראקטיביות בארבעה ממדים, ובהן כרומודינמיקה קוונטית (QCD).
1 הדיווחים מתארים טענה הנוגעת לקיום של תורות כאלה; הם אינם מבססים שהבעיה הרחבה יותר של פרס המילניום על יאנג–מילס — ובכלל זה שאלת פער המסה — נפתרה.
1
16
גם Anthropic טוענת להפרכת ETH
זמן קצר לאחר הודעת OpenAI הציגה Anthropic טענה משלה להפרכת ETH. דיווח זיהה את המאמר כ-A 2^o(n) Time Algorithm for 3-SAT וייחס אותו ל-Claude. עוד דווח כי המתמטיקאי של Anthropic לבנט אלפוגה אמר שהאלגוריתם המרכזי נמצא ב-16 באוקטובר, "ללא קלט אנושי", וכי בהמשך חוקרים עבדו עם Claude על הצגת המאמר.
9
33 אלה דיווחים על מקור העבודה ותהליך הכנתה — לא אישור עצמאי לתקפות ההוכחה.
התזמון בולט: לפי הדיווחים, שתי המעבדות תיארכו את התוצאות המרכזיות שלהן בנושא ETH ל-16 באוקטובר.
9
32 קבוצת הבדיקה החיצונית שתכננה OpenAI כללה, לפי דיווח, את ראסל אימפליאצו, רמוהאן פאטורי וריאן ויליאמס.
20 אבל השאלה העיקרית אינה איזו מעבדה הכריזה ראשונה, אלא אם מומחים בלתי תלויים יוכלו לבדוק את ההוכחות ולאשר מה הן אכן מוכיחות. הדיווחים הזמינים ציינו שהטענות עדיין לא עברו בדיקה עצמאית מלאה.
3
5
33
פרסום פתוח — אבל לא בכל התחומים
OpenAI תיארה את כתבי היד שהפיקו מודליה כ"נתוני מחקר גולמיים", שאקדמאים חיצוניים יסייעו להפוך להבנה מדעית.
2
11 החברה פרסמה במאגר הציבורי שלה את כתבי היד על ההחלקה המקומית ועל ETH, בצירוף פורמליזציות ב-Lean.
17 לעומת זאת, לפי הדיווחים, הקבוצה שעסקה בפיזיקה שמרה את החומרים שהפיק המודל לפרסום מאוחר יותר, בזמן שהכינה תיאור משלה של העבודה; דייוויד גרוס נמנה עם המומחים החיצוניים הקשורים למהלך.
11
32
לצד זאת הועלו שאלות על שקיפות בפרסומים קודמים של OpenAI. סיכום של AI Edge Briefing, שהתבסס על דיווחים, ציין כי רק 10 מתוך 719 כתבי יד שפורסמו כללו פלט של שרשרת המחשבה של המודל, וכי חסרו מטא-נתונים קריאים למכונה שיקשרו בין כתבי היד בשפה טבעית לבין התוצרים הפורמליים.
18 זהו הקשר רלוונטי לדיון על אופן הפרסום, אך כשלעצמו אינו מוכיח כל טענה או ביקורת שהועלו בנוגע להכרזות מ-26 באוקטובר.
ההבחנה החשובה היא בין טענת מחקר מסקרנת לבין תוצאה שאומתה. OpenAI פתחה לעיון את כתבי היד המתמטיים ואת קובצי Lean, בעוד שחומרי הפיזיקה נותרו לא מפורסמים בתהליך הבדיקה שתואר בדיווחים. Anthropic הציגה טענה מתחרה על ETH, לצד תיאור מדווח של תרומת המודל שלה. עד שמומחים חיצוניים יוכלו לבחון את ההוכחות ולאשר את משמעותן, נכון להתייחס להודעות של שתי המעבדות כאל טענות שעדיין נבדקות — ולא כאל תגליות מדעיות מוכחות.
3
11
17
33