OpenAI טוענת ש-10,000 agents פתרו את Navier-Stokes; המתמטיקאים לא קונים את זה

הטענה, שהושמעה ב-14 בספטמבר, תהיה ציון דרך אם תחזיק מים: בעיית הקיום והחלקות של משוואות Navier-Stokes היא אחת משבע בעיות פרס המילניום של מכון Clay, שנותרה פתוחה מאז שנת 2000. OpenAI טוענת שהיא הריצה 10,000 agents במקביל במשך 88 שעות כדי להפיק את התוצאה — הדגמה של reasoning אג'נטי בקנה מידה גדול לא פחות מהישג מתמטי.

קהילת המתמטיקאים הגיבה בחריפות ובמהירות. Tristan Buckmaster מ-NYU האשים את OpenAI ב'משחק מלוכלך' סביב בעיה שיכולה לבנות קריירה, ו-Wired דיווחה על אקדמאים שמערערים גם על ייחוס הקרדיט וגם על השאלה אם ההוכחה בכלל ניתנת לאימות עצמאי. מכון Clay לא קיבל את התוצאה. הדרישה המרכזית: הוכחה open-source, הניתנת לביקורת אנושית, ולא הודעה לעיתונות.

המחלוקת מתחברת לנושא רחב יותר מהשבוע — ב-r/MachineLearning צפה הצהרה של 25 זוכי מדליית Fields על 'חוסר alignment חמור של AI במתמטיקה' (451 הצבעות), שטענה שמערכות AI מייצרות פלט מתמטי שנראה סביר אך לא ניתן לאימות או מטשטש קרדיט. השאלה אם Astra באמת פתרה את Navier-Stokes או הפיקה טיעון מרשים-אך-פגום היא כעת שאלת האימות עם ההימור הגבוה ביותר ב-AI, וכנראה יידרשו חודשים של peer review כדי להכריע בה.