ב־26 באוקטובר 2026 הודיעה OpenAI על שלוש תוצאות מחקר שלטענתה הפיקו המודלים שלה: טענת הוכחה בתחום האנליזה ההרמונית, טענה להפרכת השערה מרכזית במדעי המחשב, ותוצאת קיום בתורת השדות הקוונטית. החברה כינתה את כתבי היד ״נתוני מחקר גולמיים״ והסבירה שמומחים חיצוניים יסייעו להפוך אותם להבנה מדעית — לא שהממצאים כבר אושרו באופן עצמאי.
13
26
מה OpenAI טוענת
מתמטיקה: השערת ההחלקה המקומית של סוגה
OpenAI אומרת שהמודלים שלה הוכיחו את השערת ההחלקה המקומית של כריסטופר סוגה, שהוצעה ב־1991, עבור גלים בכל ממד מרחבי. לפי החברה, התוצאה משליכה גם על בעיות קאקיה ושטיין בתחום האנליזה ההרמונית.
13
בהיסטוריית GitHub מתואר הניסוח הטכני ביתר פירוט: ההוכחה עוסקת בממדים מרחביים של שניים ומעלה, מניבה תוצאות הקשורות להשערות קאקיה, ומספקת אומדני הגבלה כדוריים של שטיין בתוך תחום ההשערה. לפי התיאור, ההוכחה משתמשת במשוואה דיפרנציאלית חלקית עזר, ולצד כתב היד פורסמה גם פורמליזציה בשפת Lean — מערכת לבדיקת הוכחות מתמטיות.
2
מדעי המחשב: השערת הזמן האקספוננציאלי
הטענה השנייה היא שמודל של OpenAI הפריך את השערת הזמן האקספוננציאלי, או ETH — השערה על הקושי לפתור בעיות סיפוק בוליאניות, שבהן מחפשים השמה של ערכי אמת למשתנים שתגרום לנוסחה להיות נכונה. לפי הדיווחים, המודל הפיק את ההפרכה הנטענת ב־16 באוקטובר, והמאמר וההוכחה פורסמו לציבור.
1
11
עם זאת, הדיווחים הזמינים אינם מבססים את מלוא היקף האלגוריתם ואת פרטי זמן הריצה שמופיעים בטענה הרחבה יותר. לכן אין לראות בפרטים האלה מסקנה מוכחת בלי לבחון את ההוכחה עצמה ולאמת אותה.
פיזיקה: תוצאת קיום בתורת השדות הקוונטית
הטענה השלישית נוגעת לקיומן של תורות שדה קוונטיות מסוימות בארבעה ממדים, ובהן כרומודינמיקה קוונטית (QCD), לפי הדיווחים על ההכרזה.
4
11 חומרי הפיזיקה לא פורסמו לציבור, והמקורות הזמינים אינם מפרטים את המשפט המדויק או מראים שהוא עומד בדרישות בעיית פרס המילניום של מכון קליי.
4
6
שלוש טענות, מסלולי בדיקה שונים
מתמטיקה: OpenAI פרסמה ב־GitHub כתבי יד מתמטיים ופורמליזציות Lean. בהיסטוריית המאגר נכתב שהפרסום נעשה בהתאם לתקדים של שחרור חומר ב־6 באוקטובר.
2
מדעי המחשב: גם המאמר וההוכחה הנוגעים ל־ETH דווחו כחומרים שפורסמו לציבור. ראסל אימפליאצו, רממוהאן פאטורי וריאן ויליאמס התבקשו לארגן בדיקה חיצונית של הטענה. ויליאמס אמר שהקבוצה תעבוד ללא תשלום ושחבריה לא חתמו על הסכמי סודיות. עצם השתתפותם אינה אישור לתוצאה.
1
11
19
פיזיקה: בניגוד לחומרים המתמטיים שפורסמו, חומרי הפיזיקה נשארו חסויים, לפי הדיווחים, בהחלטת קבוצת הפיזיקה.
4 OpenAI תיארה את תפקידם הרחב של המומחים החיצוניים — שכינתה ״מלווים״ — כארגון קבוצות שיסייעו להבין את התוצאות.
13
דיווחים קשרו את ההכרזה גם לתרומה בסך 5 מיליון דולר לקרן סימונס, שנועדה לסדנאות. פרטי המימון האלה אינם מעידים על כך שאחת הטענות המדעיות אומתה.
11
מה ידוע — ומה עדיין לא
ההכרזה מעידה ש־OpenAI הציגה את הטענות ובחרה דרכי פרסום ובדיקה שונות לכל אחת מהן. היא אינה מוכיחה שההוכחות נכונות או שהקהילות המדעיות הרלוונטיות קיבלו אותן. בדיווחים שפורסמו מיד לאחר ההכרזה נאמר שהאימות העצמאי עדיין לא נעשה.
4
24
ההבחנה חשובה במיוחד בטענת הפיזיקה: המידע הזמין אינו מספיק כדי לקבוע שהיא פותרת את בעיית פרס המילניום של מכון קליי. באופן רחב יותר, כתבי יד פומביים, פורמליזציות Lean ובדיקות של מומחים הם שלבים בתהליך הבדיקה — לא תחליף לתוצאותיו.