מודל ההיגיון של OpenAI מפריך השערה בת 80 שנה בגאומטריה דיסקרטית

OpenAI חשפה ב-20 במאי שאחד ממודלי ה-reasoning שלה הצליח לייצר דוגמה נגדית שמפריכה השערה בגיאומטריה דיסקרטית שהוצגה לראשונה ב-1946 ונשארה פתוחה כמעט שמונה עשורים. ההודעה פורסמה באינדקס המחקר של OpenAI ו-TechCrunch סיקרה אותה בזהירות לאור הפלופ המתמטי הקודם של החברה, שבו ניפחה תוצאה שמתמטיקאים פעילים הפריכו במהירות. הפעם, OpenAI טוענת שאותם מתמטיקאים שחשפו את ההפרזה הקודמת בדקו את הקונסטרוקציה החדשה ומאשרים אותה — מהלך מכוון לשיקום אמינות.

מבחינה טכנית, OpenAI מתארת את המודל כמי שמבצע חיפוש מובנה המונחה על ידי chain-of-thought reasoning, ומפיק קונפיגורציה מועמדת שמפרה את הטענה של ההשערה. הפלט קטן וניתן לאימות: לא הוכחה ארוכה ואטומה, אלא דוגמה נגדית קונקרטית שמתמטיקאים אנושיים יכולים לבדוק במבט. הניתנות-לאימות הזו היא העיקר — היא הופכת את התוצאה לחסינה מפני כשל ה-'הוכחה ההזויה' שפקד טענות מתמטיות של LLM, כולל אלה של OpenAI עצמה.

תחרותית, התוצאה נוחתת בשבוע עמוס. ה-keynote של Google ב-I/O נשען חזק על Gemini for Science (AlphaFold, AlphaGenome) ועל כלי ההשערות Co-Scientist של DeepMind; Anthropic בדיוק גייסה את Andrej Karpathy לצוות ה-pre-training שלה. תוצאת הגיאומטריה של OpenAI היא הפיץ' שלה לאותו נרטיב — ש-reasoning בקנה מידה הוא כלי מחקר, לא רק מוצר צ'אט. שרשור של 371 נקודות ו-243 תגובות ב-HN הראה מתמטיקאים נוטים חיובית יותר מהפעם הקודמת, אבל רבים עדיין רוצים לראות את הקונסטרוקציה מאומתת באופן עצמאי.

מה לעקוב: האם הדוגמה הנגדית תשרוד peer review בכתב עת מתמטי (לא רק פוסט של OpenAI), והאם הטכניקה תתכלל מעבר להשערה אחת. אם מודלי reasoning יוכלו באופן עקבי לחשוף דוגמאות נגדיות לבעיות פתוחות ותיקות, זו טענת יכולת שונה איכותית מ-'ציוני benchmark טובים יותר' — וזה ילחץ על Anthropic ו-Google להציג הדגמות מקבילות.