אופן-איי טוענת שפתרה את בעיית נוויה-סטוקס, והמתמטיקאים לא קונים את זה

החברה הודיעה שמודל פנימי חזק יותר מ-GPT-6 אַסְטְרָה, שרץ עם 10,000 סוכנים במקביל, הצליח לפצח את אחת משבע בעיות פרס המילניום שנותרו פתוחות כבר כתשעים שנה. הפרס הכספי עומד על מיליון דולר (כ-3.7 מיליון שקל), אבל באופּן-איי כבר הבהירו שאין בכוונתם לאסוף אותו.

התזמון שמעורר שאלות

יום לפני ההכרזה של אופן-איי, פרופסור טריסטן בקמאסטר (Tristan Buckmaster) מאוניברסיטת ניו יורק והחוקר ליוונט אלפוגה (Levent Alpöge) מאנתרופיק פרסמו ממצאים על בעיה קרובה. בקמאסטר טוען שפנה לחברה אחרי שנודע לו שהיא מודעת להתקדמות שלהם, וגילה שההוכחה של אופן-איי עוברת במסלול דומה לזה שהם עצמם פיתחו, תוך שימוש ב-Codex של אופן-איי וב-Claude של אנתרופיק.

גישה לנתוני משתמשים או צירוף מקרים

בקמאסטר שאל מפורשות האם המודל אומן על הסשנים שלהם ב-Codex, שבהם נשמרו כל טיוטות הפרויקט. התשובה שקיבל: המודל לא "הציץ" בנתוני משתמשים. כשהתעקש על שאלת האימון, לא נענה. באופּן-איי פרסמו בתגובה הצהרה שלפיה "לא ניגשנו לנתוני משתמש ספציפיים כדי לפתור את הבעיה", אבל הוסיפו ש"איננו יכולים לשלול שנתונים מזוהים-למחצה שמקורם בשימוש שלהם במוצרים שלנו סייעו לשפר את המודלים".

גרסאות סותרות

סבסטיאן בובק (Sebastien Bubeck), חבר צוות טכני באופּן-איי, טען שהחברה לא ראתה את העבודה של בקמאסטר ואלפוגה עד לפרסום הפומבי, ושההוכחות שונות מהותית, כולל התוצאות המדויקות שהוכחו. בקמאסטר הגיב במאסטודון וכתב שאופן-איי "מודה בגלוי שהשתמשה בנתוני אימון מתקופה שלאחר הגילוי שלנו".

מה זה אומר בפועל

בין אם מדובר בדליפת נתונים, בזיהום אימון (training contamination) או במקביליות מחקרית נדירה, הסיפור מדגים עד כמה הגבול בין "יכולת חשיבה" לבין "שחזור מסלול שכבר נוסה" נעשה מטושטש כשמודלים מתאמנים על קוד וטקסט מתמטי בהיקף עצום. אופן-איי עדיין לא פרסמה את ההוכחה המלאה לעיון הקהילה, ובלי ביקורת עמיתים מסודרת אי אפשר לקבוע אם מדובר בפתרון שלם של נוויה-סטוקס או בצעד חלקי בלבד.