OpenAI פתחה השבוע ארכיון ציבורי עם 722 כתבי יד מתמטיים שמודל פנימי לא מזוהה שלה הפיק, וההכרזה הזו הצליחה להצליח במשהו נדיר - להכעיס את כל קהילת המתמטיקאים בעולם בבת אחת. מעבר למספרים המרשימים, מתחת לפני השטח מתגלה סכסוך קרדיט מול חברת Anthropic, האשמות על הפרת נורמות אקדמיות ושאלה מהותית אחת: מי בודק בכלל אם ההוכחות האלה נכונות.
TL;DR - מה קרה בקצרה
- ב-6 באוקטובר 2026 OpenAI פרסמה ב-GitHub מאגר בשם "math" עם 722 כתבי יד, המאורגנים ל-372 משפחות של בעיות מתמטיות פתוחות, ברישיון Apache 2.0 חופשי לשימוש
- המודל הפנימי, שהחל להתאמן ב-28 באוגוסט 2026 ועדיין לא קיבל שם ציבורי, מתואר כמסוגל יותר מ-GPT-6 Astra
- בספטמבר 2026 הודיעה החברה שהמודל, בעזרת כ-10,000 סוכני AI שעבדו יחד כ-88 שעות, הפיק הוכחה פורמלית לכך שמשוואות נאבייה-סטוקס יכולות לפתח סינגולריות בזמן סופי - בעיה שעמדה פתוחה כמעט מאה שנה
- עלות הריצה המחשובית נאמדת במיליוני דולרים, לפי סבסטיאן בובק מ-OpenAI - פי 1,000 מעלות תוצאות מתמטיות קודמות של החברה
- ההכרזה הגיעה יום אחד בלבד אחרי שהמתמטיקאי טריסטן באקמסטר מ-NYU והחוקר לבנט אלפוגה מ-Anthropic פרסמו הוכחה דומה משלהם, מה שהצית סכסוך קרדיט פומבי
- קהילת המתמטיקאים מתחה ביקורת חריפה על הפרסום ההמוני בלי בדיקת עמיתים מסודרת, בטענה ש-OpenAI התעלמה מפגישה סגורה באוגוסט שבה התבקשה לפעול בהתאם לנורמות הפרסום האקדמי
המקור המלא: הודעת OpenAI הרשמית, וסיקור נרחב ב-The New York Times וב-The Verge.
מה בדיוק OpenAI פרסמה?
המאגר openai/math כולל 722 כתבי יד המכוסים ב-372 "משפחות" של בעיות - כלומר קבוצות של שאלות מתמטיות קשורות בתחומים כמו גאומטריה, תורת החבורות, אלגברות אופרטורים, מורכבות קוונטית, קריפטוגרפיה וקומבינטוריקה. לפי החברה, חלק גדול מהתוצאות מגיע ממודל פנימי שלא פורסם לציבור ושעדיין לא קיבל שם מסחרי.
הנקודה המעניינת היא שהפרסום נעשה בבת אחת, ברישיון פתוח, כך שכל מי שרוצה יכול להוריד את הקוד, להריץ אותו מחדש ולבדוק את הטענות בעצמו. חלק מההוכחות עברו פורמליזציה בשפת Lean - כלי שמאפשר למחשב לאמת צעד-צעד שהוכחה מתמטית תקינה לוגית. אבל חלק גדול אחר לא עבר את התהליך הזה, ונשאר תלוי באמינות הניסוח של המודל עצמו.
איך הגענו לכאן - הפרשה של נאבייה-סטוקס
הדרמה התחילה כבר בספטמבר. OpenAI הודיעה שמודל פנימי, שהחל להתאמן ב-28 באוגוסט 2026, הצליח להפיק הוכחה - עם פורמליזציה ב-Lean - לכך שמשוואות נאבייה-סטוקס, המתארות תנועת נוזלים, יכולות לפתח "פיצוץ" מתמטי (blow-up) בזמן סופי. זו אחת הבעיות הפתוחות הידועות בפיזיקה מתמטית, ושאלה קרובה לה היא אחת משבע "בעיות המילניום" שעל פתרונן מוענק פרס של מיליון דולר.
לפי החברה, ההוכחה הופקה בעזרת כ-10,000 סוכני AI שעבדו במקביל במשך כ-88 שעות, בעלות ריצה שהוערכה במיליוני דולרים. סבסטיאן בובק, מתמטיקאי בכיר ב-OpenAI, אמר שזו פי 1,000 העלות שהחברה השקיעה בתוצאות מתמטיות קודמות - נתון שמעיד על כמה משאבים OpenAI מזרימה לתחום.
הבעיה: יום לפני ההכרזה הזו, המתמטיקאי טריסטן באקמסטר מאוניברסיטת NYU והחוקר לבנט אלפוגה, שעובד ב-Anthropic, פרסמו הוכחה דומה משלהם - גם היא מאומתת ב-Lean - לבעיה קרובה במשפחת המשוואות הזו. השניים עבדו על הבעיה הזו באופן עצמאי, בין היתר בעזרת כלי AI מסחריים, כולל Codex של OpenAI עצמה.
סכסוך הקרדיט עם Anthropic
כאן הסיפור מקבל ממד אישי ומטריד. באקמסטר מסר, ששיחה עם בובק הסתיימה בהצעה: OpenAI תיתן לבאקמסטר קרדיט על התוצאה - אבל תוציא מהתמונה לחלוטין את אלפוגה, שותפו ועובד החברה המתחרה. באקמסטר הגדיר את ההצעה הזו כ"שוחד", וטען שבובק שאל אותו גם למה בכלל ירצה "להרוס את הקריירה שלו" בכך שיפרסם את הסכסוך בפומבי.
OpenAI הכחישה שהשתמשה ישירות בעבודה הפרטית של השניים, אך הודתה שאינה יכולה לפסול באופן מוחלט אפשרות שהפיקה תועלת עקיפה מנתוני שימוש אנונימיים שנאספו מהפעולות שלהם בכלים שלה, כמו Codex. נכון לתחילת אוקטובר 2026 הסכסוך עדיין לא הגיע לפתרון מוסכם בין הצדדים.
למה המתמטיקאים זועמים
הביקורת החריפה ביותר לא נוגעת רק לסכסוך הקרדיט הפרטני, אלא לאופן שבו OpenAI מנהלת את כל התהליך. לפי דיווחים, בפגישה סגורה שהתקיימה באוגוסט 2026 ביקשו מתמטיקאים מובילים מהחברה לפעול בהתאם לנורמות הפרסום האקדמי המוכרות - כלומר בדיקת עמיתים, פרסום מדורג ותיעוד שקוף של שיתופי פעולה. לטענת מבקרי החברה, OpenAI התעלמה מהבקשות הללו ובחרה לפרסם מאות כתבי יד בבת אחת, בלי מסגרת בדיקה מסודרת.
התוצאה המעשית: כמות המידע עצומה מכדי שקהילה מצומצמת של מומחים תוכל לבדוק אותה במהירות. גם כאשר הוכחה מאומתת פורמלית ב-Lean, הדבר מבטיח רק שהצעדים הלוגיים עקביים - לא שההוכחה "מובנת" לבני אדם או תורמת תובנה מתמטית ממשית. כפי שדיווחו גופי תקשורת שונים, חלק מהפתרונות שהציג המודל נחשבים לקריאים בקושי רב, מה שמוביל לשאלה אם מדובר בקידמה מדעית אמיתית או בהצגת כוח חישובי.
מה OpenAI עושה כדי לצמצם את הנזק
במקביל לפרסום, OpenAI הודיעה על הקמת קבוצת ייעוץ בלתי תלויה בנושא מתמטיקה ובינה מלאכותית, שתתארח במכון ללימודים מתקדמים (IAS) בפרינסטון - אותו מוסד ששימש בעבר בית למתמטיקאים כמו איינשטיין וגדל. המטרה המוצהרת היא לבנות מסגרת חוץ-ארגונית שתבדוק טענות מתמטיות של מודלי AI בצורה בלתי תלויה, ותמנע מצבים שבהם חברה אחת "שופטת את עצמה".
יחד עם זאת, מבקרים מציינים שההודעה על הקבוצה הבלתי תלויה הגיעה רק אחרי שהביקורת הציבורית כבר החלה - כך שקשה להפריד בין יזמה אמיתית לניהול מוניטין בתגובה למשבר.
איך OpenAI משתווה למתחרות בתחום המתמטיקה
מעקב ציבורי אחר תרומות AI למתמטיקה, המתעד תוצאות שהוכרו ומיוחסות למודלים שונים, מציב את משפחת GPT ו-Codex של OpenAI במקום הראשון עם כ-234 בעיות מיוחסות שנפתרו - הרבה לפני מתחרות. Anthropic, גוגל ומעבדות אחרות עוקבות מרחוק יותר, אך גם הן מפרסמות תוצאות מתמטיות משל עצמן, בדרך כלל בקצב איטי יותר ועם פחות הכרזות שיווקיות.
| נתון | פירוט |
|---|---|
| תאריך תחילת אימון המודל הפנימי | 28 באוגוסט 2026 |
| הכרזה על פתרון נאבייה-סטוקס | 8 בספטמבר 2026 |
| מספר סוכני AI בריצת ההוכחה | כ-10,000 |
| משך הריצה | כ-88 שעות |
| עלות משוערת | מיליוני דולרים (פי 1,000 מתוצאות קודמות) |
| פרסום מאגר GitHub | 6 באוקטובר 2026 |
| כתבי יד שפורסמו | 722, ב-372 משפחות בעיות |
| בעיות מיוחסות ל-GPT/Codex (מעקב ציבורי) | כ-234 |
מה זה אומר למי שעוקב אחרי תחום ה-AI
הפרשה הזו חשובה הרבה יותר מסקרנות אקדמית צרה. היא חושפת שלושה דברים שרלוונטיים לכל מי שמשתמש בכלי AI בעבודה שוטפת: ראשית, יכולות חישוביות גדולות מאוד - אלפי סוכנים הפועלים יחד - מתחילות להפיק תוצאות שבני אדם מתקשים לבדוק במהירות הנדרשת, גם בתחומים מדויקים כמו מתמטיקה. שנית, שאלות קרדיט ושימוש בנתונים הופכות למורכבות כשחברות מתחרות חולקות אותם כלים ואת אותם משתמשים. ושלישית, מוסדות ביקורת בלתי תלויים - כמו קבוצת הייעוץ בפרינסטון - הופכים להכרח, לא למחווה יחסי ציבור, כשחברה אחת מייצרת תוצאות בקצב שאין לקהילה המקצועית יכולת לעמוד בו.
לעסקים ולמפתחים שעובדים עם מודלי שפה, המסקנה המעשית פשוטה: תוצאה שמודל AI מציג כ"פתורה" או "מאומתת" כדאי לבדוק ברמת המקור, במיוחד כשההודעה מגיעה מחברה שגם משווקת את אותו מודל. אימות פורמלי בכלים כמו Lean הוא שלב חשוב, אבל הוא לא תחליף לבדיקת עמיתים אנושית - לפחות לא עדיין.
שאלות נפוצות
כמה בעיות מתמטיות OpenAI טוענת שפתרה?
המאגר האחרון שפורסם ב-GitHub מכיל 722 כתבי יד המכוסים ב-372 משפחות בעיות. מעקב ציבורי נפרד מייחס למשפחת GPT/Codex של OpenAI כ-234 בעיות מתועדות באופן עצמאי.
מה זו בעיית נאבייה-סטוקס שעליה OpenAI הכריזה שהמודל שלה פתר?
זו בעיה בפיזיקה מתמטית העוסקת בשאלה אם משוואות שמתארות תנועת נוזלים יכולות לפתח "פיצוץ" מתמטי (סינגולריות) בזמן סופי. היא קרובה לאחת משבע בעיות המילניום שמוענק עליהן פרס של מיליון דולר.
מה הקשר בין הסיפור הזה ל-Anthropic?
לבנט אלפוגה, חוקר שעובד ב-Anthropic, פיתח יחד עם מתמטיקאי מ-NYU הוכחה דומה לבעיה קרובה, יום לפני הכרזת OpenAI. לטענתו, OpenAI ניסתה לשכנע את שותפו לקבל קרדיט תמורת הסתרת חלקו של אלפוגה בתוצאה.
האם ההוכחות שפורסמו עברו אימות מלא?
לא כולן. חלק מהתוצאות עברו פורמליזציה בשפת Lean, כלי שמאמת נכונות לוגית של הוכחה. אך רוב כתבי היד, בשל הכמות הגדולה שפורסמה בבת אחת, עדיין לא נבדקו באופן מעמיק על ידי קהילת המתמטיקאים.
למה מתמטיקאים מתוחים לגבי האופן שבו OpenAI פרסמה את התוצאות?
הביקורת המרכזית היא שהחברה התעלמה מבקשות שהועלו בפגישה סגורה באוגוסט 2026 לפעול בהתאם לנורמות פרסום אקדמיות מקובלות, ובחרה בפרסום המוני חד-פעמי בלי מסגרת בדיקת עמיתים מסודרת.
מה המטרה של קבוצת הייעוץ שתתארח במכון ללימודים מתקדמים בפרינסטון?
לבנות מסגרת בלתי תלויה לבדיקת טענות מתמטיות שמגיעות ממודלי AI, כך שלא חברה אחת תהיה זו שמאשרת את התוצאות של עצמה.
מקורות: OpenAI - Sharing AI progress in mathematics, MIT Technology Review, Futurism, NPR.
