OpenAI מדווחת על עשר פריצות דרך במתמטיקה ובמדעי המחשב התיאורטיים

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

הטענה משמעותית משום שהמתמטיקה הייתה שדה מבחן לשאלה אם מודלים גדולים יכולים לבצע reasoning קפדני וברת-אימות ולא השלמת תבניות שנשמעת סבירה. התקדמות בקריפטוגרפיה ובתיאוריית הסיבוכיות בפרט נושאת משקל של שימוש כפול, ומהדהדת את הדיווח מאותו שבוע ש-Claude של Anthropic פיצח סכמות פוסט-קוונטיות ב-CryptanalysisBench — סימן לכך שרווחי ה-reasoning מיתרגמים ליכולות קונקרטיות, לעתים רגישות.

קהילת המחקר הגיבה בעניין זהיר ולא ב-hype. Ethan Mollick מ-Wharton אמר שהוא 'ממתין למשפט מאחד מפרופסורי המתמטיקה המיושבים בדעתם והמודעים ל-AI ביותר', מה שתופס את מצב הרוח הרווח: טענות יוצאות דופן על פריצות דרך מתמטיות דורשות אימות עצמאי לפני קבלה. השאלות המרכזיות הן אם ההוכחות נכונות לחלוטין, כמה הכוונה אנושית עיצבה אותן, ואם התוצאות באמת חדשניות או תגליות מחדש.

מבחינה תחרותית, ההכרזה מרחיבה את הדחיפה של OpenAI להדגים עומק של reasoning כבידול ברגע שבו יריבות זולות יותר כמו DeepSeek הופכות את ה-inference היומיומי למצרך. אם חברות ה-AI המובילות יוכלו לטעון באופן אמין לתרומות ברמת מחקר, זה הופך לחפיר שהורדות מחירים אינן יכולות לשחוק. כדאי לקוראים לעקוב אחר peer review ואישור צד שלישי של עשר התוצאות, ואם OpenAI תפרסם מספיק פרטים כדי שמתמטיקאים יוכלו לבדוק את העבודה באופן עצמאי.