OpenAI מואשמת בגניבת הוכחה מתמטית: ״לקח לנו את הפתרון״

זה התחיל כהישג מתמטי. זה הפך לפרשיית גניבה.

Tristan Buckmaster, פרופסור למתמטיקה ב־NYU, האשים השבוע את OpenAI בכך ש״חטפה״ לו את הפתרון לבעיה במשוואות תנועת נוזלים — בעיה שנחשבת חשובה, ושפתרונה נחשב לאבן דרך במתמטיקה המודרנית. Buckmaster לא עבד לבד: יחד איתו היה Levent Alpöge, מתמטיקאי שמועסק דווקא אצל היריבה המרה של OpenAI — Anthropic.

OpenAI, מצידה, טענה שהעבודה שלהם נעשתה במקביל. Buckmaster לא קונה את זה.

״Deep Blue של המתמטיקה״

מה בעצם קרה כאן? Buckmaster ו-Alpöge עבדו על פתרון לבעיה שקשורה למשוואות Navier-Stokes — משוואות שמתארות את תנועת הנוזלים והאוויר סביבנו, ונמצאות בלב מיליוני אפליקציות, מתעופה ועד מזג אוויר. הפתרון לבעיה הזו נחשב לאחד ההישגים הגדולים במתמטיקה, ו-OpenAI הצליחה לייצר הוכחה — לכאורה תוך שימוש ב-Codex, מודל ה-AI שלה לכתיבת קוד.

Buckmaster עצמו תיאר את האירוע כ״רגע Deep Blue–Kasparov״ לתחום — התייחסות לרגע שבו מנוע שחמט של IBM הביס את אלוף העולם ב-1997. ההבדל? הפעם, טוען Buckmaster, המנוע לא רק שיחק — הוא גם העתיק.

25 זוכי מדליית פילדס מתגייסים

ההאשמה הזו לא נותרה באוויר. ביום חמישי פורסם מכתב פתוח שעליו חתומים 25 מתמטיקאים — שכל אחד מהם זכה במדליית Fields, הפרס היוקרתי ביותר במתמטיקה העולמית. המכתב מפנה אצבע מאשימה לא רק אל OpenAI, אלא אל תעשיית ה-AI כולה.

״לעיתים קרובות הפתרונות האלה מוצגים בחיפזון, בלי זמן לכתיבה מסודרת, בלי בידוד של שיטות ורעיונות חדשים, ובלי ציטוט של עבודות קודמות רלוונטיות של אחרים״, כתבו. ״כמו בכל מקצוע יצירתי, זה מעלה שאלות קשות של ייחוס ופלגיאט.״

הם מוסיפים: ״בלי מתמטיקאים שיהיו מוכנים לטפל בפיתוח ובאינטגרציה של הרעיונות הללו לתוך הקאנון המתמטי, רעיונות שנוצרו על ידי AI לעולם לא יהפכו לחיים באמת, ושרשרת ההעברה האנושית בין מתמטיקאים תלך לאיבוד.״

OpenAI עדיין לא הוכיחה את עצמה

נקודה מרכזית שעולה מהמכתב: ההוכחה של OpenAI עדיין לא עברה אימות. החברה הציגה את התוצאה, אבל בלי תיעוד מדעי מלא, בלי peer review, ובלי שהמתמטיקאים המקצועיים הצליחו לשחזר את העבודה. בינתיים, OpenAI הסיגה את החסות שלה מאירוע מתמטי ב-Caltech, לאחר ביקורת מצד חוקרים באוניברסיטה.

החשש הגדול: Codex מאכיל את עצמו

מעבר לפרשייה הספציפית הזו, מתמטיקאים רבים מודאגים מתופעה רחבה יותר: אם הם משתמשים ב-Codex של OpenAI כדי לעזור להם במחקר, האם העבודה שהם מזינים למערכת הופכת בסוף לחלק ממודל ה-AI ש-OpenAI משתמשת בו כדי להקדים אותם?

החשש הזה מערער את התרבות של מחקר פתוח. כיום, אם מעבדות ה-AI הגדולות רואות נתיב שימושי לגילוי מתמטי, הן יכולות להשקיע עשרות מיליוני דולרים במודלי LLM כדי להקדים את החוקרים המקוריים ולהגיע להוכחה לפניהם. דינמיקה כזו יוצרת תמריץ להסתיר מחקרים — במקום לשתף אותם.

״המקצוע שלכם הוא הבא בתור״

המכתב מדגיש שהבעיה לא נעצרת במתמטיקה. ״הנושאים שקהילת המתמטיקה מתמודדת איתם עכשיו דומים לנושאים שמקצועות מדעיים ויצירתיים אחרים מתמודדים איתם, ומצביעים על בעיות שהאנושות כולה עשויה להתמודד איתן: איך לוודא שכאשר AI משנה את דרך העבודה, אנחנו לא מאבדים את מה שהעבודה הזו נועדה להשיג מלכתחילה.״

המכתב הזה מצטרף להצהרת ליידן מיוני האחרון, שגם היא עסקה באופן שבו הוכחות LLM ישנו את עבודת המתמטיקאים.

במילים אחרות: אם אתם חושבים שהסיפור הזה לא נוגע אליכם כי אתם כותבים קוד ולא משוואות — כדאי לחשוב שוב. התרבות של עבודה פתוחה, ייחוס נכון ושמירה על ערך העבודה המקצועית נמצאת על השולחן. ואחרי המתמטיקאים, מי הבא?