ב-26 באוקטובר 2026 פרסמה OpenAI הודעה חריגה בהיקפה: המודלים שלה הפיקו שלוש תוצאות מחקר עצמאיות בשלושה תחומים שונים לגמרי - מתמטיקה, מדעי המחשב ופיזיקה תיאורטית. מדובר בניסיון הישיר ביותר עד כה של חברת AI להציג את המודלים שלה לא ככלי עזר לחוקרים, אלא כגורם שמייצר בעצמו תוצאות מחקר מקוריות. החברה עצמה מדגישה שהתוצאות עדיין בבדיקה עצמאית, וכמה מהחוקרים המובילים בתחום כבר הביעו ספקנות זהירה.
TL;DR - עיקרי הדברים
- OpenAI מכריזה על שלוש תוצאות מחקר: הוכחה במתמטיקה, הפרכה במדעי המחשב, והוכחת קיום בפיזיקה תיאורטית
- במתמטיקה: המודל הוכיח את "השערת ההחלקה המקומית" בכל הממדים, ולפי החברה הוכחה זו פותרת גם את השערת קאקיה ואת השערת ההגבלה של שטיין
- במדעי המחשב: המודל טוען שהפריך את "השערת הזמן המעריכי" (ETH), שעליה נשענים מאות מאמרים בתורת הגרפים, ביולוגיה חישובית וגאומטריה חישובית
- בפיזיקה: הוכחת קיום לתורות שדות קוונטיים אינטראקטיביות בארבעה ממדים, כולל כרומודינמיקה קוונטית (QCD) - תחום שקשור לבעיית המילניום של מכון קליי
- כל אחת משלוש התוצאות עוברת כעת בדיקה בלתי תלויה של קבוצת חוקרים חיצונית, וחלק מהחומרים טרם פורסמו במלואם
- תגובות הקהילה המדעית מעורבות - יש שמדברים על "התפתחות היסטורית", ואחרים מזהירים מפני הסתמכות מוקדמת מדי על תוצאה שטרם עברה ביקורת עמיתים מלאה
מה בדיוק OpenAI טוענת שקרה?
ההודעה של OpenAI, שפורסמה באתר המחקר המדעי של החברה, מתארת שלושה מקרים נפרדים שבהם מודלים פנימיים של החברה הפיקו תוצאות מחקר מקוריות - לא רק פתרו תרגילים ידועים, אלא הגיעו לכיוונים שחוקרי אנוש לא פתרו קודם לכן. OpenAI מדגישה ששלושת הפרויקטים פועלים באופן עצמאי זה מזה, ושהחוקרים השותפים חופשיים לפרסם את הממצאים שלהם בעצמם, גם אם המסקנה שונה מזו של החברה.
זהו לא הניסיון הראשון של OpenAI להציג מעורבות במחקר מדעי - כבר בנובמבר 2025 פרסמה החברה סדרת ניסויים תחת הכותרת "האצת מדע עם GPT-5", ומאז היא ממשיכה לבנות את חטיבת ה-OpenAI for Science. אבל ההיקף של ההכרזה הנוכחית - שלוש בעיות בשלושה תחומים נפרדים באותו שבוע - הוא קפיצת מדרגה מבחינת התקשורת הציבורית של החברה.
מה קרה בתחום המתמטיקה - השערת ההחלקה המקומית
הבעיה המתמטית במוקד ההכרזה היא "השערת ההחלקה המקומית" (Local Smoothing Conjecture), שהציג כריסטופר סוג' ב-1991, בתחום האנליזה ההרמונית. לפי OpenAI, המודל הפיק הוכחה לבעיה בכל ממד מרחבי - לא רק במקרה פרטי. עד כה הושג רק פתרון חלקי: לארי גות', הונג וואנג ורואיזיאנג ג'אנג הוכיחו את ההשערה בשני ממדים ב-2019, ווואנג וזאהל פתרו את גרסת שלושת הממדים של השערת קאקיה הקשורה רק ב-2025.
לפי החברה, ההוכחה הכללית, שהופקה ב-18 באוקטובר 2026 ועברה פורמליזציה במערכת ההוכחות Lean יום לאחר מכן, פותרת כבדרך אגב גם שתי השערות ותיקות נוספות - השערת קאקיה והשערת ההגבלה של שטיין. שתיהן נחשבות לבעיות מרכזיות בתחום, שהשפעתן חורגת הרבה מעבר לאנליזה הרמונית טהורה. גם הגרסה בשפה טבעית וגם הגרסה הפורמלית ב-Lean פורסמו בחשבון ה-GitHub של OpenAI, כך שכל חוקר יכול לבדוק אותן בעצמו.
אלכס יוסביץ', חוקר אנליזה הרמונית מאוניברסיטת רוצ'סטר, תיאר את התוצאה כ"התפתחות היסטורית". מנגד, מאמר נפרד שפורסם ב-arXiv תחת הכותרת "ביקורת אנושית על הוכחות מתמטיות שנוצרו בבינה מלאכותית של OpenAI" מזהיר שדיווחים אוהדים עלולים ליצור רושם מוטעה של סגירת התיק, ושואל אילו חלקים מההוכחה שוחזרו בפועל ואילו שאלות עדיין פתוחות.
מה המשמעות של הפרכת השערת הזמן המעריכי במדעי המחשב?
בתחום מדעי המחשב, OpenAI טוענת שהמודל הפריך את "השערת הזמן המעריכי" (Exponential Time Hypothesis, ETH) - השערה בתורת הסיבוכיות שעוסקת בקושי של בעיית הספיקות של נוסחאות בוליאניות (SAT). ה-ETH לא רק משמשת כבעיה תיאורטית - היא שימשה כהנחת יסוד במאות מאמרים שמבססים עליה תוצאות קשיחות בתורת הגרפים, ביולוגיה חישובית, מסדי נתונים וגאומטריה חישובית. אם ההפרכה תאושר, חלק ניכר מאותם מאמרים עלול להזדקק להערכה מחדש.
לפי הדיווחים, ההפרכה הופקה ב-16 באוקטובר 2026 ועברה פורמליזציה ב-Lean יום לאחר מכן. OpenAI ביקשה משלושה מהחוקרים המזוהים ביותר עם הנושא - ראסל אימפליאצו ורמוהאן פאטורי מאוניברסיטת קליפורניה בסן דייגו, וראיין וויליאמס מ-MIT - להוביל בדיקה פתוחה ובלתי תלויה של הטענה. החברה גם התחייבה לממן כנס מדעי שיוקדש כולו לבחינת התוצאה.
חשוב להדגיש נקודה שמופיעה כמעט בכל סיקור מקצועי של הסיפור: גם אם ה-ETH אכן יופרך, זה לא אומר אוטומטית שיהיו אלגוריתמים מהירים יותר לבעיות חישוביות קיימות. מדובר בתוצאה תיאורטית בעלת השלכות עמוקות על הבנת גבולות החישוב, לא בפריצת דרך מעשית מיידית. המשמעות המלאה שלה תתברר רק אחרי שהחוקרים הבלתי תלויים יסיימו לבחון אותה.
איך זה קשור לפיזיקה ולבעיית המילניום של מכון קליי?
התוצאה השלישית, בתחום הפיזיקה התיאורטית, עוסקת בהוכחת קיום לתורות שדות קוונטיים אינטראקטיביות הכוללות שדות כיול ופרמיונים בארבעה ממדים - ובהן כרומודינמיקה קוונטית (QCD), התיאוריה שמתארת את הכוח הגרעיני החזק. חלק מהעבודה נוגע גם לתורת יאנג-מילס הטהורה, שקשורה ישירות לאחת משבע "בעיות המילניום" שהציב מכון קליי למתמטיקה - בעיית הקיום של תורת יאנג-מילס הקוונטית ופער המסה שלה.
בשונה משתי התוצאות האחרות, כאן התהליך איטי יותר ושמרני יותר. קבוצת בדיקה חיצונית בראשות דייוויד גרוס - חתן פרס נובל לפיזיקה - ובה מייקל דאגלס, ארתור ג'אפה, איגור קלבנוב וניקיטה נקרסוב, מתכננת לכתוב הסבר עצמאי משלה לפני שהיא משחררת את חומרי ההוכחה שהמודל הפיק. כלומר, בניגוד למתמטיקה ולמדעי המחשב, כאן הציבור הרחב עדיין לא קיבל גישה מלאה לחומר הגולמי. OpenAI מציינת גם תרומה כספית קודמת של 5 מיליון דולר לקרן סיימונס למימון סדנאות וכנסים בנושא.
טבלת השוואה: שלוש התוצאות זו מול זו
| תחום | הטענה המרכזית | תאריך הפקה | גורם בדיקה בלתי תלוי | סטטוס פרסום |
|---|---|---|---|---|
| מתמטיקה | הוכחת השערת ההחלקה המקומית בכל הממדים, ועמה השערת קאקיה והשערת ההגבלה של שטיין | 18-19 באוקטובר 2026 | קהילת האנליזה ההרמונית, בהובלת חוקרים כמו אלכס יוסביץ' | פורסם במלואו ב-GitHub, בשפה טבעית וב-Lean |
| מדעי המחשב | הפרכת השערת הזמן המעריכי (ETH) | 16-17 באוקטובר 2026 | ראסל אימפליאצו, רמוהאן פאטורי, ראיין וויליאמס | פורסם, כנס ייעודי בדרך |
| פיזיקה | הוכחת קיום לתורות שדות קוונטיים ב-4 ממדים, כולל QCD ותורת יאנג-מילס | לא פורסם במדויק | דייוויד גרוס ושותפיו | עדיין לא פורסם - ממתין להסבר עצמאי של הצוות החיצוני |
האם זה אמין? מה אומרים המבקרים
ההכרזה מעלה שאלה מרכזית שחוזרת בכל פעם שחברת AI מציגה הישג מחקרי: מי מוודא שהתוצאה נכונה, ולא רק נשמעת נכונה. OpenAI עצמה בחרה בגישה שקופה יחסית - שחרור הקוד וההוכחות הפורמליות, הזמנת חוקרים מהשורה הראשונה בכל תחום לבדוק את הטענות, ומימון כנסים ייעודיים. זו לא בדיקת עמיתים מלאה כמקובל בכתבי עת מדעיים, אבל היא כן מספקת מסלול שבו טעות תתגלה יחסית מהר, בהנחה שהחוקרים החיצוניים אכן בלתי תלויים לחלוטין בתהליך.
מצד שני, קולות ביקורתיים כבר נשמעים. המאמר שהוזכר קודם, שבדק הוכחות קודמות שהפיקו מודלים של OpenAI, טוען שדיווחים חיוביים מדי עלולים ליצור רושם של סגירת תיק מדעי לפני הזמן. יש גם מי שמציינים שהתזמון - שלוש הכרזות גדולות באותו שבוע, בדיוק כשהחברה נמצאת בעיצומו של תהליך הנפקה פומבית ענק - מעלה שאלות לגבי עד כמה ההכרזה נועדה להפגין יכולת טכנולוגית לקראת גיוס הון, ולא רק לשרת את הקהילה המדעית.
בסופו של דבר, שלוש התוצאות האלה ייבחנו באותו האופן שבו נבחנת כל טענה מדעית - לא לפי ההכרזה של החברה שפרסמה אותה, אלא לפי מה שהקהילה המדעית הבלתי תלויה תגיע אליו בחודשים הקרובים. עד אז, מדובר בטענות מבטיחות אך לא מאומתות.
