"כמה יופי איבדנו?": מתמטיקאים מגיבים למבול ההוכחות של OpenAI, בין התפעלות לאבל
OpenAI פרסמה ב-6 באוקטובר יותר מ-700 כתבי יד שנוצרו ב-AI, ולפי החברה הם פותרים מאות בעיות פתוחות במתמטיקה. יותר ממאה חוקרים הגיבו, ובהם זוכי מדליית פילדס. חלקם התפעלו מהרעיונות החדשים, ואחרים מתארים הלם, שיתוק ואבל על דרך עבודה שהולכת ונעלמת.
ב-6 באוקטובר 2026 העלתה OpenAI ל-GitHub יותר מ-700 כתבי יד מתמטיים בבת אחת. לטענת החברה, הם מכילים פתרונות למאות בעיות פתוחות. הבלוג המתמטי Proofs and Prompts אסף יותר ממאה תגובות של חוקרים, והן נעות בין סקרנות אינטלקטואלית לבין אבל עמוק.
רצף פריצות דרך
עד לפני שנים ספורות נכשלו מודלי AI בבעיות שסטודנטים מתקדמים פותרים כעניין שבשגרה. מאמצע 2026 התמונה השתנתה: קודם השערת המרחק היחידה (Unit Distance Conjecture), אחר כך משוואות נאוויה-סטוקס, ולאחר מכן עשרה פתרונות שהוצגו בהשקת המודל Astra של OpenAI. הפרסום הנוכחי גדול מכל אלה.
עוד מוקדם להעריך את התוכן המתמטי לעומקו. חלק מהמאמרים כבר נמשכו, ואחרים ספגו ביקורת על כך שקשה לקרוא אותם. ועדיין, כמה מומחים מעידים שהתוצאות הרשימו אותם.
"מרתון, לא ספרינט"
פטר שולצה, זוכה מדליית פילדס, קרא לסבלנות: "המטרה היא ותמיד תהיה ההבנה האנושית של המתמטיקה, וזה תמיד ייקח זמן". הוא הזהיר גם מסיכון שחורג מהמתמטיקה: ייתכן שמערכות כאלה ימצאו דרכים לפרוץ שיטות הצפנה נפוצות. לדבריו, הקושי במציאת אלגוריתמים כאלה "אינו עולה באופן משמעותי, לעיניי הלא-מומחיות, על מה שהמערכות האלה מסוגלות לו כעת". אם זה יקרה, הנזק לתשתיות הדיגיטליות יהיה הרסני.
טרנס טאו תיאר רגשות מעורבים. לדבריו, נראה שההוכחות "מציגות רעיונות חדשים ומחוכמים שיהיו פוריים לאחר שיעוכלו". מנגד, הוא "מתוסכל מאוד" מכך שאין אנשים שיכולים לדון בעבודה, להרצות עליה וללמד אותה. הוא התאבל על "הדרך שלא נבחרה" וקרא ללכידות: "הקהילה צריכה להתאחד יותר מתמיד".
אלווארו לוסאנו-רובלדו כינה את 6 באוקטובר "אולי היום החשוב ביותר בתולדות המתמטיקה עד כה", אך הצביע גם על המגבלות. OpenAI כיוונה להשערת רימן, הבעיה הפתוחה המפורסמת ביותר במתמטיקה, אבל הצליחה להוכיח רק גרסה חלשה שלה: "quasi-RH זה עצום! אבל זה לא RH".
"ארכיאולוגים מול TNT"
בן גרין תיאר חלק מהתוצאות כ"מזעזעות לחלוטין". לדבריו, הפרסום פתר כשלושה רבעים מיעדי המחקר של מענק אירופי יוקרתי שקיבל ביוני. רומן זאואר זיהה טכניקה שפיתח במשך שנים בפתרונות של OpenAI לשתי בעיות שונות לגמרי: "אני המום".
מאט זרמסקי סיפר על ארבע שנים של התקדמות עקבית בבעיה מסוימת, עם פריצת דרך משמעותית בערך פעם בשנה. לדבריו, OpenAI נכנסה לתמונה כשהבעיה צברה מספיק תשומת לב: "זה מרגיש כאילו עבדנו ארבע שנים בחפירה ארכיאולוגית, וחשפנו בהדרגה עוד ועוד משלד של דינוזאור מגניב במיוחד, ואז הגיעה חברה של טריליון דולר, פוצצה הכול ב-TNT, הגישה לנו את השלד המלא והלכה".
איאן אגול השווה את המצב לפרסום של גריגורי פרלמן ב-2002, אחת ההוכחות החשובות של המאה. פרלמן כמעט לא הרצה על עבודתו, וכמה צוותי מחקר השקיעו שנים בשחזור הצעדים החסרים.
הוגו דומיניל-קופן, זוכה מדליית פילדס ב-2022, כתב שציפה שיום אחד יעקפו את המתמטיקאים, "אבל ההודעה של אתמול הכתה בעוצמה שלא צפיתי". לדבריו, OpenAI טענה לתוצאות בכל בעיה פתוחה מרכזית שדיבר עליה בפומבי במהלך הקריירה שלו, "לא בכולן. לא בבת אחת. לא באדישות כזו. ההלם עצום. אני משותק".
מה זה אומר
יוהנס שמידט מציע פרשנות מפוכחת יותר: לדעתו, המאמרים הם תוצר לוואי של מאמצי OpenAI לשפר את המודלים שלה, ולא ניסיון שנועד בעיקר לקדם את המתמטיקה. החברה השתמשה בבעיות פתוחות כמבחן משום שהמודלים המתקדמים כבר עקפו אתגרים קלים יותר.
ככל הנראה, השאלה המרכזית כרגע אינה רק אם ההוכחות נכונות. היא נוגעת גם למה שקורה לתחום כשהקצב שבו נוצרות תוצאות עולה בהרבה על הקצב שבו בני אדם יכולים להבין אותן. כפי שעולה מדברי שולצה וטאו, הקהילה המתמטית עשויה לגלות שהאתגר הבא שלה הוא עיכול, לא גילוי.