OpenAI טוענת: ה-AI שלנו הפריך את ה-Exponential Time Hypothesis

OpenAI פרסמה את ההכרזה הנועזת ביותר השנה בתחום ה-AI למדע. לפי Al Jazeera, החברה טוענת שהמודלים שלה הפיקו הוכחה מלאה של השערת ה-local smoothing באנליזה הרמונית בכל הממדים, הפרכה של ה-Exponential Time Hypothesis (ETH) מתורת הסיבוכיות, ותוצאה ריגורוזית בכרומודינמיקה קוונטית. ב-28 באוקטובר OpenAI הגבירה הצהרה של קבוצת עבודה בנושא Yang-Mills שכונסה ב-KITP של UC Santa Barbara כדי לפרש את התוצאה הפיזיקלית.

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

חשוב לשמור על פרופורציות. מגיבים ב-Hacker News מסכימים שהפרכת ETH תהיה משמעותית, אבל מדגישים שהיא לא אומרת P=NP: ETH היא הנחה חזקה יותר מ-P≠NP, ולכן הפרכה שלה משאירה את השאלה הגדולה פתוחה. העבודה של AllenAI מאותו שבוע, שבודקת אם LLM מסוגל בכלל לשפוט חדשנות מחקרית, מזכירה שמדע שנוצר ב-AI עדיין צריך הכרעה אנושית.

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