OpenAI מרמזת על משפחת Astra — אחרי שגרסה פנימית פתרה 10 בעיות מתמטיקה פתוחות

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

הטענות האלה הציתו את r/OpenAI, שם שרשור ששאל 'איך ChatGPT מסוגל לפתור בעיות מתמטיקה ברמת מחקר' זכה לדיון רחב, והזין את השיחה הרחבה יותר ב-r/singularity על מתמטיקאי שמהרהר בהתקדמות האחרונה של ה-AI (783 אפוותים, 981 תגובות). ספקנים קראו לזהירות: תוצאות שנחשפות בטיזר ממודלים פנימיים שלא שוחררו קשות לאימות, ולטענות על 'פתרון בעיות פתוחות' יש היסטוריה של צורך בסייגים זהירים לגבי הכוונה אנושית ועבודה קודמת.

לצד הטיזר, OpenAI אמרה שהגיעה למיליארד משתמשים וחתכה ב-80% את מחירי ה-API של GPT-5.6 Luna ל-0.20 דולר input / 1.20 דולר output למיליון tokens — תגובה ישירה למלחמת המחירים הסינית מצד Alibaba ו-DeepSeek. נרטיב פריצות-הדרך המתמטיות מתחרה חזיתית בתוצאת ה-IMO 42/42 של Opus 5 מבית Anthropic השבוע, מה שהופך את החשיבה המתמטית המובילה לזירת הקרב של היכולות. שווה לעקוב אחר שחרור בפועל של Astra עם benchmarks ואימות עצמאי לטענות המתמטיות, וכן אם התמחור האגרסיבי של Luna ילחץ על השוליים.