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