מודלים
מודל של OpenAI מציע פתרון לבעיית נאוויה–סטוקס
OpenAI הודיעה ב־8 בספטמבר 2026 שמערכת פנימית חזקה יותר מ־GPT-6 Astra הפיקה פתרון לבעיית הקיום והחלקות של נאוויה–סטוקס — אחת מבעיות פרס המילניום של Clay: נוזל חלק במנוחה יכול לפתח סינגולריות בזמן סופי תחת כוח חלק, כשהאנרגיה נשארת סופית, וכך מתקיימים סעיפים C ו־D בניסוח הרשמי. החברה פרסמה כתיבה אנליטית ופורמליזציה ב־Lean שאומתה עם GPT-6 Astra אחרי כ־88 שעות חיפוש רב־סוכנים ועוד כ־17 שעות פורמליזציה, ומדגישה שאינה מתכוונת לתבוע את פרס המילניום. OpenAI מציינת עבודה מקבילה של Levent Alpöge ו־Tristan Buckmaster על אוילר מאולץ, מכירה בעדיפות שלהם שם, וממסגרת את הפרסום כעדות לקצב המחקר — לא כהשקת מוצר לצרכן.