ב-6 באוקטובר 2026, פרסמה OpenAI 722 כתבי יד שנוצרו על ידי בינה מלאכותית המכסים 372 בעיות מתמטיות, כולל תוצאה הקשורה להשערת רימן. תגובות המתמטיקאים נעו בין קריאתה לנקודת ציון היסטורית לאזהרה שהאימות לא הספיק להתמודד עם הטענות.
גרסה זו היא תרגום מכונה של המקור (English). לקריאת המקור
מה פרסמה OpenAI, ומתי
ב-6 באוקטובר 2026, פרסמה OpenAI 722 כתבי יד ב-GitHub, מקובצים לתוך 372 משפחות של תוצאות קשורות, כולם יוצרו על ידי מודל פנימי שהחברה לא שחררה לציבור, לפי xenospectrum.com ובמכתב החדשות Latent.space המוקדש להנדסת בינה מלאכותית. החברה אמרה שהמודל הופעל על כ-4,000 בעיות מתמטיות, כשהעלות הממוצעת של תוצאה מקובלת שווה ערך לכ-שלוש שעות של זמן חשיבה של ChatGPT Pro, לפי דיווח של Latent.space.
כתב יד אחד עוסק במה שחוקרים קוראים "השערת רימן כמו": טענה שאין אפסים של פונקציות Dirichlet L מסוימות כאשר החלק האמיתי חוצה 7/8. xenospectrum.com ציינה שזה לא פותר את השערת רימן האמיתית, שעוסקת באפסים בחלק אמיתי בדיוק 1/2 ונשארת בעיה שלא נפתרה של פרס המילניום של מכון Clay למתמטיקה.
השבחה והתריעות בקרב מתמטיקאים
התגובות התחלקו בחדות. Levent Alpöge, מתמטיקאי, אותו תיאר Latent.space כמזוהה עם Anthropic, קרא לשחרור "בבירור הרגע החשוב ביותר בהיסטוריה של המתמטיקה." The Conversation דיווחה שמתמטיקאים אחרים היו הרבה פחות מרוצים: בוחן אחד דחה חלק מהקבוצה כ"ערימה ענקית של צואה זרוקה על סף דלתנו," ומתמטיקאי בכיר אמר שמאמר אחד היה כל כך בלתי מובן שהיה הולך ישר לסל הזבל אם היה מוגש לעיתון בדרך הרגילה.
בבירור הרגע החשוב ביותר בהיסטוריה של המתמטיקה.
— Levent Alpöge, מתמטיקאי, כפי שצוטט ב-Latent.space
The Conversation גם דיווחה שה-ChatGPT עצמו סימן לפחות תוצאה אחת מהקבוצה כ"הזיה רצינית," וכמה מאמרים נסוגו או תוקנו מאוחר יותר לאחר שנמצאו שגיאות.
הפער בהאימות
חשבונות בנוגע לכמה מהשחרור בעצם בדוקה על ידי מכונה, שונים. xenospectrum.com, המעקב אחר קטלוג הפורמליזציה של OpenAI החל מ-7 באוקטובר, ספר 162 מתוך 722 כתבי יד — כ-22.4 אחוז — עם תוצאות שפורמליזו בשפת אימות ההוכחה Lean. The Conversation, לעומת זאת, דיווחה שה-OpenAI פורמליזו 300 תוצאות ראשיות באמצעות תוכנה מסוג Lean. xenospectrum.com הוסיף שגם פורמליזציית Lean שהושלמה רק מאשרת את השלבים הלוגיים של הוכחה, לא שכל טענת הסברה במאמר אומתה בצורה עצמאית.
tech-insider.org דיווח שקבוצת ייעוץ הכוללת פרס Fields Terence Tao הוקמה כדי לעזור בניהול אופן הגעת התוצאות של OpenAI לציבור, אך תפקיד הקבוצה היה בבירור ליעוץ על שחרור, לא לאימות עצמאי שהתוצאות נכונות. אותו מקור ציטט טענה מחודש בספטמבר שמודל OpenAI, תוך שימוש בכ-10,000 סוכני בינה מלאכותית העובדים כ-88 שעות, יצר הוכחה הנוגעת לבעיית קיום וחלקות Navier-Stokes — בעיית פרס מילניום נוספת — שמכון Clay למתמטיקה עדיין רשום כפעיל ולא כפתור, כלומר אימות עצמאי לא הושלם.
על מה מתמטיקאים עדיין חולקים דעות
מעבר לנכונות, tech-insider.org דיווח על דאגה שגישת ה-OpenAI של פרסום ראשון, אימות לאחר מכן, הופכת את אופן פעולת המתמטיקה באופן מסורתי, מעבירה את הנטל של ביקורת עמיתים איטית ויריבותית לקהילת מתמטיקאים שכבר מתוחה מדי. The Conversation דיווחה על דאגה נוספת בנוגע לשימוש לרעה בנתונים שלך הקשור לטענת Navier-Stokes הקודמת, שהועלתה על ידי מתמטיקאים Tristan Buckmaster ו-Levent Alpöge — טענות שה-OpenAI הכחישה — כמו גם חרדה רחבה יותר בתחום לגבי מחקר שנדחק על ידי מערכות בינה מלאכותית ולגבי מה משמעות גדילה של כלים כאלה למתמטיקה כקריירה.
שחרור המתמטיקה של OpenAI באוקטובר 2026 בנתונים
מדד
נתון
מקור
כתבי יד שפורסמו
722
xenospectrum.com, Latent.space
משפחות תוצאות
372
xenospectrum.com, Latent.space
בעיות שניסו
~4,000
Latent.space
חישוב ממוצע לכל תוצאה
~3 שעות של זמן חשיבה ChatGPT Pro
Latent.space
כתבי יד שפורמליזו ב-Lean
162 (22.4%)
xenospectrum.com
תוצאות ראשיות שפורמליזו ב-Lean (ספירה חלופית)
300
The Conversation
תאריך שחרור
6 באוקטובר 2026
xenospectrum.com
שאלות
האם מודל OpenAI פתר את השערת רימן?
לא. כתב יד אחד טוען לתוצאה קשורה אך חלשה יותר, ה"השערת רימן כמו," לגבי אפסים של פונקציות Dirichlet L עם חלק אמיתי מעל 7/8; השערת רימן האמיתית, הנוגעת לאפסים בחלק אמיתי בדיוק 1/2, נשארת כלא מורחה, לפי xenospectrum.com.
כמה מאמרים פרסמה OpenAI, ומתי?
OpenAI פרסמה 722 כתבי יד, המוארגנים ל-372 משפחות תוצאות, ב-6 באוקטובר 2026, לפי xenospectrum.com ו-Latent.space.
האם טענת Navier-Stokes של OpenAI אומתה בצורה עצמאית?
לא. tech-insider.org דיווח שלמרות טענה קודמת הכוללת כ-10,000 סוכני בינה מלאכותית העובדים כ-88 שעות, מכון Clay למתמטיקה עדיין מפרט את בעיית Navier-Stokes כפעיל ולא כפתור.
על מה מתמטיקאים בעיקר מבקרים את השחרור?
הדאגות שדווחו מתמקדות בחוסר התאמה בין מהירות הפרסום וקצב האימות: רק מיעוט מכתבי היד בדקו בצורה רשמית ב-Lean, כמה מאמרים הכילו שגיאות שדרשו נסיגה, והגישה פרסום-ראשון הופכת את תהליך ביקורת העמיתים האיטי והסורה, לפי The Conversation ו-tech-insider.org.
איזה מודל הפיק את התוצאות הללו?
OpenAI לא שחררה את המודל המשמש לייצור כתבי היד; הוא נשאר כמערכת פנימית, שלא שוחררה, לפי xenospectrum.com ו-Latent.space.
GPT-6 היא משפחת המודלים החדשה ביותר של OpenAI, שיוצאה לשוק בשלבים מאז ספטמבר 2026 תחת השמות Astra, Sol ו-Luna, כאשר Sol ו-Luna הגיעו לכל משתמשי ChatGPT ב-7-8 באוקטובר 2026. כמו מודלי שפה גדולים אחרים, הם יוצרים תשובות על ידי חיזוי המילה הבאה עם רשת עצבים של טרנספורמר שאומנה על כמויות ענקיות של טקסט, לא בדרך שבה אדם חושב.
"Artificial", קומדיה טראגית בבימויה Luca Guadagnino, מדרמטיזה את משבר דירקטוריון OpenAI בשנת 2023, כאשר מנכ"ל Sam Altman הודח והחזיר למשרתו, כעדשה לדיון ציבורי רחב יותר בדבר סיכונים של בינה מלאכותית. הסרט בכיכובו של Andrew Garfield עוקב אחר התפתחות הבינה המלאכותית מהחקר המוקדם של Geoffrey Hinton ועד שחרור ChatGPT. הסרט יושק בבתי קולנוע בארה"ב ב-25 בדצמבר 2026.
מנכ"ל Palantir, Alex Karp, אמר במרץ 2026 שרק שני סוגים של עובדים יכולים להיות בטוחים שיש להם עתיד בכלכלה שמונעת על ידי בינה מלאכותית: אלה שעברו הכשרה מקצועית, וגם אלה שהם נוירודיברסיים. הוא טען שמקצועות מיומנות מתנגדים לאוטומציה, בעוד שדפוסי חשיבה נוירודיברסיים מתאימים לפתרון בעיות לא קונבנציונלי, והרחיבה Palantir מלגות בתשלום המכוונות לשתי הקבוצות.
ב-6 באוקטובר 2026, פרסמה OpenAI 722 כתבי יד שנוצרו על ידי בינה מלאכותית המאורגנים ל-372 משפחות בעיות, כולל טענה שנויה במחלוקת על שאלת פרס המילניום של Navier-Stokes. מדליסט פילדס Hugo Duminil-Copin אמר שהוא בכה לאחר שמצא 16 מן שאלות המחקר שלו בקרב הכתבים, והוא כינה זאת 'פירוק' של תחומו, בעוד שקבוצת מתמטיקאים קראה לעמיתים להפסיק לעבוד עם OpenAI.
