OpenAI שחררה הוכחות ב-GitHub אבל המודל נשאר בפנים
החברה הציגה 722 מסמכים שנפתרו בשלוש שעות חשיבה בממוצע, אך בלי גישה למשקולות, בלי API ובלי אימות מלא, החוקרים מקבלים בעיקר כאב ראש.
- התמקדו אך ורק בקובצי ה-Lean 4 המאומתים מתוך המאגר, והימנעו מהסתמכות על טיוטות הטקסט הלא-מבוקרות.
מתמטיקה היא לא בדיוק המקום שבו מעגלים פינות. אתמול, ב-6 באוקטובר 2026, OpenAI הציגה שורת תוצאות מתמטיות שנוצרו על ידי מודל פנימי לא מוכרז. שוחרר מאגר קוד ב-GitHub שכולל מאות כתבי יד, אבל אם קיוויתם להריץ את המודל הזה על השרתים שלכם או לשלוח אליו בקשת API, צפויה לכם אכזבה. המודל עצמו סגור, ומה שקיבל העולם הוא רק הפלט המודפס. מדובר בהמשך להצהרה מספטמבר, אז טענה החברה כי המערכת שלה פתרה יותר מ-100 בעיות פתוחות ארוכות שנים ברוב תחומי המתמטיקה. כעת מגיעים המסמכים עצמם, יחד עם שאלות כבדות משקל לגבי האופן שבו תוצרים כאלה צריכים להיחשף לעולם האקדמי.
לא הייתי ממהר להתרגש מההצהרות הגדולות.
שלוש שעות חשיבה לתוצאה
המאגר שפורסם תחת השם openai/math ב-GitHub מכיל 722 כתבי יד המקובצים בתוך 372 משפחות תוצאות. לפי הודעת החברה, מדובר במענה לשאלות פתוחות מתחומים שונים, אך המשאבים שנדרשו לכך רחוקים משיחה יומיומית רגילה. לפי הדיווח של The Verge, חישוב ממוצע של תוצאה בודדת דרש כוח עיבוד השקול לשלוש שעות חשיבה רצופות של מנוי Pro בממשק ChatGPT. החברה הודיעה כי תממן סדרת סדנאות, כנסים ותוכניות מיוחדות סביב הבנת תוצאות עיקריות שנוצרו בידי AI, וכי היא בוחנת חלופות נוספות בניהול הקהילה לפרסום התוצאות בהתאם להנחיות המקצועיות.
בדוקומנטציה של המאגר החברה סיפקה עשרה סיכומי הסקה בלבד, לצד נתונים סטטיסטיים על מספר הבעיות שנבדקו. לפי OpenAI, המודל הפנימי החל להתאמן ב-28 באוגוסט 2026, ופעל באמצעות למידת חיזוק נרחבת שמופעלת על מודל חשיבה כדי לאתר נתיב הוכחה יחיד. כוח החישוב הזה מסביר מדוע OpenAI לא מציעה את השירות ב-API מסחרי רגיל. שלוש שעות חשיבה של שרת ייעודי לכל פלט בודד הן מספר שלא מתכנס לחשבון חודשי שפוי. החברה ציינה כי היא עובדת על שחרור אחראי של המודל שייצר את התוצאות, אך לא נקבה בלוח זמנים קונקרטי.
זה יקר מדי לכל שימוש מעשי.
Lean 4 מול טקסט חופשי
בקהילה המדעית ההתרגשות מלווה בביקורת קשה. כפי שדווח ב-Wired על התגובות בקהילה המתמטית, חוקרים חוששים מהצפת הספרות בטקסטים שלא עברו בדיקה מספקת. רק חלק מההוכחות שוחררו כקוד מאומת בשפת Lean 4, שמאפשרת למחשב לאמת את תקינות הטיעון צעד אחר צעד ללא מגע יד אדם. שאר כתבי היד הם טקסטים חופשיים בלתי מאומתים, ואף אחד מהם לא עבר ביקורת עמיתים אקדמית רגילה. החוקרים באקדמיה מוצאים את עצמם מוצפים בטיוטות שדורשות השקעת זמן אדירה של פיענוח ואימות ידני. עוד באוגוסט כינסה החברה כ-40 מתמטיקאים כדי לדון במצב שבו AI יעקוף יכולות אנושיות, ושם הביעו הנוכחים חשש מפרסום גורף בבת אחת.
מתמטיקה באמצעות ציוצים והודעות לעיתונות היא לא הדרך לטפח את המערכת שיצרה את הקרקע הפורייה שעליה המודלים אומנו.ברינה קרא, מתמטיקאית מאוניברסיטת נורת'ווסטרן, ל-Wired
ועדת המומחים העצמאית AGMAI במכון למחקר מתקדם הוציאה המלצות פומביות בסוף ספטמבר, שבהן קראה למעבדות AI לפרסם תוצאות בערוצים אקדמיים מקובלים ולהימנע משימוש במתמטיקה לצורכי יחסי ציבור. לפי החוקרים באקדמיה, שחרור מאות טיוטות ללא ביקורת עמיתים מעביר את נטל בדיקת הטעויות אל הקהילה המדעית במקום שהחברה תבצע אימות מלא מראש. עבודה מול מאות עמודי טקסט לא מבוקר דורשת ימי עבודה ארוכים רק כדי לוודא שאין טעות חישוב שנפלה באמצע העמוד. מתמטיקאים בולטים ציינו כי פרסום ב-GitHub אינו תחליף לתהליך אקדמי מסודר.
חוקרים מוצאים את עצמם בעמדת נחיתות מול קצב הפרסום של המכונה, ללא כלים לבדיקה מהירה.
בלי משקולות ובלי API
אם אתם מפתחי אלגוריתמים שמעוניינים לשחזר את התוצאות, נתקלתם בקיר. המודל הפנימי נשאר סגור לחלוטין במעבדה. אין משקולות פתוחות להורדה, ואין גישת API מסחרית כפי שקיים בדגמי GPT-6 Sol ו-Luna. המאגר ששוחרר כולל תוצרים ברישיון Apache-2.0 לצד תצורות פרומפטים, סיכומי הסקה וסקריפטים לאימות, אך המודל עצמו ותשתית הריצה המלאה נותרו חסומים.
ההחלטה הזו מונעת מהקהילה לבדוק האם המודל ייצר את ההוכחה באופן גנרטיבי עצמאי, או שמא נחשף במהלך האימון למאמרים לא פומביים. המחלוקת אינה תיאורטית: פרופסור טריסטן בקמסטר מ-NYU האשים את OpenAI בשימוש בעבודה מוקדמת שלו ושל לבנט אלפוגה מ-Anthropic סביב משוואות נאוויה-סטוקס. לפי מזכר הפגישה שפורסם, חוקר החברה סבסטיאן בובק רמז שיש להוציא את אלפוגה מרשימת המחברים כדי לא לסבך את העניינים מול Anthropic, אך בהצהרה פומבית בובק הכחיש שביקש שאלפוגה לא יירשם כמחבר. הפער הזה ממחיש את המתיחות סביב שאלת הקרדיט כשכלי מחקר פנימיים נשארים עלומים.
גם בישראל, שבה OpenAI מינתה לאחרונה מנהל GTM ראשון והחלה להדק קשרים מול התעשייה המקומית, חוקרים ומהנדסים עוקבים מקרוב אחרי ההתפתחויות. בקהילת המחקר הישראלית מנסים להבין האם שרשרת ההכרזות מספקת כלי עבודה אמיתי לפיתוח, או שמדובר בהפגנת שרירים שנועדה לייצר כותרות לקראת גיוסים והנפקה. מדענים מקומיים מעורבים בדיונים בינלאומיים על האופן שבו מודלים משפיעים על עבודת המחקר היומיומית.
| סוג תוצר | פורמט במאגר | סטטוס אימות | השלכה מעשית לחוקרים |
|---|---|---|---|
| הוכחות פורמליות | קובצי קוד Lean 4 | מאומת אוטומטית על ידי מחשב | בסיס אמין שאפשר לבנות עליו ולהריץ בדיקות מיד |
| טיוטות פתוחות | כתבי יד בטקסט חופשי | לא אומת, ללא ביקורת עמיתים | דורש קריאה אנושית מדוקדקת כדי לאתר טעויות |
| מטא-דאטה וחישוב | עשרה סיכומי הסקה וסטטיסטיקה | דיווח עצמי של OpenAI | הערכה בלבד של משאבי החישוב שנדרשו למודל |
| מודל ההסקה | לא פורסם | חסום לחלוטין | אין יכולת לשחזר את תהליך ההסקה או להתממשק בקוד |
איך לעבוד עם המאגר עכשיו
אם אתם עוסקים בהוכחות מתמטיות או בבניית מערכות הסקה, הצעד המעשי היחיד כרגע הוא לגשת לקובצי ה-Lean 4 מתוך המאגר הרשמי. הם זמינים תחת רישיון הקוד הפתוח Apache-2.0, והיתרון שלהם מובהק: אם המהדר אישר את התחביר והחוקים, הטיעון הלוגי מחזיק מים. זה החלק היחיד במאגר שמספק ערך בדוק שאינו תלוי בהצהרות דוברות. שימוש בכלים כמו Palomar לרישום מתמטיקה מאומתת ממוחשבת או מאגרי AI ייעודיים יכול לסייע בהפרדה בין המוצק למוטל בספק.
מנגד, לא כדאי להסתמך על מאות כתבי היד בטקסט חופשי כבסיס לפיתוח אלגוריתמי מבלי לאמת אותם עצמאית. כל עוד OpenAI לא משיקה API ייעודי להסקה מתמטית ארוכה או מציגה פרטים טכניים מלאים על המודל הפנימי, מדובר בקובצי טקסט לקריאה ביקורתית בלבד. מי שמחפש לשלב יכולת הוכחה אוטומטית במערכות הייצור שלו יצטרך להמשיך להמתין. בינתיים, החישובים עדיין על הלוח.
מה שואלים על זה
- Sharing AI progress in mathematicsopenai.com · המקור
- OpenAI drops another batch of mathematical breakthroughstheverge.com · המקור
- OpenAI Is Pissing Off a Bunch of Mathematicians—Againwired.com · המקור
- Introducing GPT-6 Sol and Lunaopenai.com · דף המוצר
- GitHub - openai/math · GitHubgithub.com · דף המוצר
- public recommendations(opens in a new window)agmai.org · מקושר מההודעה
30 עובדות בכתבה נבדקו אחת־אחת מול המקורות המקושרים ומול חיפוש ברשת ב־7 באוקטובר 2026. מה שלא אומת הוסר או מסומן כטענה של החברה. הכתיבה נעשתה בעזרת AI מהמקורות האלה בלבד, בעריכה ובאחריות של סלבה מלנדוביץ׳. טעות? כתבו לנו.