המודל של OpenAI הפריך לבד השערה של Erdős בת 80 שנה

מודל ה-reasoning הכללי של OpenAI הפריך באופן אוטונומי השערה מרכזית בגיאומטריה דיסקרטית ש-Paul Erdős הציב ב-1946 — בעיה שמתמטיקאים כירסמו בה שמונה עשורים. ה-trace שפורסם מראה את המודל בונה דוגמה נגדית 'מבריקה' מספיק כך שהחוקרים האנושיים שסקרו את העבודה אומרים שהם לא היו מוצאים אותה. זה לא 'AI פותר בעיה מספר לימוד'; זו מתמטיקה מקורית.

ה-writeups ב-Guardian וב-arXiv מדגישים שהמודל לא עבר fine-tune על ההשערה ושההוכחה אומתה על ידי מתמטיקאים חיצוניים. המתודולוגיה — חיפוש ארוך-טווח עם self-verification — דומה ברוחה למה ש-AlphaProof של DeepMind הראתה בשנה שעברה, אבל העבודה של OpenAI היא על מודל general-purpose ולא על מודל מתמחה במתמטיקה, וזו הטענה המשמעותית.

תגובת הקהילה הייתה מיידית וחריגה. r/singularity רשם 907 upvotes ו-201 תגובות, r/OpenAI הגיע ל-554 upvotes עם הכותרת 'חבר שעושה תואר שני במתמטיקה אומר שגמרנו', ו-r/artificial רשם עוד 502. הטון של הת'רד היה פחות 'benchmark מגניב' ויותר אקזיסטנציאלי: אם מודל כללי יכול להרחיב את הגבול המתמטי בלי אימון מתמחה, ההשלכות לשנתיים הקרובות של מחקר אוטומטי הן גדולות.

ספקנים מזהירים שהשערה אחת מופרכת היא לא תוכנית מחקר, ושהטיית הבחירה חשובה — אנחנו לא רואים את אלפי ההשערות שהמודל נכשל בהן. מה לעקוב: שחזור על בעיות פתוחות אחרות, פרסום peer-reviewed, והאם DeepMind, Anthropic או xAI יגיבו עם תוצאות מקבילות.