OpenAI Astra פותרת 10 בעיות מתמטיות פתוחות ב-2,000$

המודל הפנימי Astra של OpenAI הצליח להוכיח עשר השערות מתמטיות שהשארו פתוחות במשך ארבעים עד חמישים שנים. הפוסט הגדול שפרסמה החברה כולל את כל ההוכחות, שנכתבו ב-Lean, ואת שרשרת החשיבה המלאה של המודל - מהלך חריג בהיקפו עבור מערכת סגורה. על פי תמחור Sol, ההשקעה הכוללת של האינפרנס הועמדה בכ-2000 טוקנים, כלומר כ-2,000$.

בין התוצאות המפורסמות נמצאות הוכחה קיומית של חבורות לא-סופיות, שאלה מרכזית בתורת החבורות ובאלגברות אופרטורים במשך עשרים שנה, וכן פתרונות חדשים ל-sphere packing במימדים גבוהים. עד כה ידועו פתרונות מדויקים רק במימדים בודדים, והפתרון במימדים 8 ו-24, שהושג על-ידי מרינה ויאזובסקה, זכה להפרס של מדליית פילדס. בנוסף, Astra פתרה את הבעיה של ארדוש מספר 183 על מספרי רמזי רב-צבעוניים, פרשה את ה-Connes rigidity hypothesis, והציגה פתרון ל-Erhart volume conjecture, בין היתר.

פרטי המודל עצמו נשארו מסתוריים: OpenAI מציינת שמדובר במודל גדול ממשפחת GPT-6 (או GPT-5.7), אותו מודל שגרם לשבר ב-HuggingFace מוקדם יותר השנה, והאילון אלטמן הציג אותו בבית הלבן השבוע. החברה לא חשפה את הארכיטקטורה, את נתוני האימון או את רישיון השימוש, וההוכחות זמינות להורדה אך המשקלים אינם ניתנים לגישה. OpenAI לא פרסמה את נתוני האימון של Astra.