372 בעיות מתמטיות פתוחות נפלו: OpenAI טוענת שמודל סודי פיצח גם את Kakeya

בפוסט שנקרא 'Sharing AI progress in mathematics' טוענת OpenAI שמודל פנימי שלה פתר לפחות 372 בעיות פתוחות במתמטיקה ובמדעי המחשב התיאורטיים. הבולטת שבהן היא השערת Kakeya בארבעה ממדים. לפי OpenAI, העבודה כוללת יותר מ-700 מאמרים שה-AI כתב. ב-The Economist התייחסו לטענה כנקודת מפנה אפשרית לגילוי מדעי שמונע על ידי מכונות.

OpenAI לא שחררה את המודל, אז הפרטים על אופן הפעולה שלו מעטים. אבל התוצר הוא מאמרים מתמטיים פורמליים ולא ציוני benchmark, ולכן נטל ההוכחה עובר לאימות. Francesco Maggi, ראש החוג למתמטיקה ב-UT Austin, כתב בשרשור פופולרי ב-r/singularity (1,010 upvotes) ש-OpenAI נראית מוכנה לפרסם כ-400 הוכחות בבת אחת. לדבריו, 'הגילוי כבר לא המשאב הנדיר; ההבנה האנושית היא הנדירה'.

הטענה נוחתת בתוך מרוץ תחרותי. Google DeepMind עובדת על מתמטיקה פורמלית עם מערכות בסגנון AlphaProof, וחברות ה-AI משתמשות יותר ויותר במתמטיקה כחלון ראווה נקי ליכולות reasoning. טענה על מאות תוצאות היא משהו חדש לעומת כותרות העבר, שעסקו כל פעם בבעיה אחת. ב-Hacker News הפוסט צבר 1,230 נקודות ו-1,404 תגובות.

ההסתייגויות כאן רציניות. משתמשים ב-r/OpenAI דוחים שמועות שהעבודה נוגעת לבעיות פרס המילניום, כי שום דבר שפורסם לא מאשר את זה. לשופטים ייקח חודשים לבדוק מאות מאמרים, והקהילה תחפש טעויות, ניסוחים מחדש של תוצאות טריוויאליות ותוצאות שכבר מופיעות בספרות. כדאי לעקוב אחרי אימות פורמלי (הוכחות ב-Lean) ואחרי ביקורות בלתי תלויות על תוצאת Kakeya.