אם ההוכחה שפרסמה אמש OpenAI תחזיק מעמד בבדיקת המתמטיקאים, ייתכן שזה יהיה אחד הרגעים שנזכור בעתיד דאלה שבהם הבינה המלאכותית עלתה שלב. לטענת החברה, מודל פנימי חדש וחזק משמעותית מ-GPT-6 Astra הצליח, בעזרת כ-10,000 סוכני AI שעבדו במקביל, לפתור בתוך 88 שעות שאלה שמתמטיקאים מתמודדים איתה כבר כמעט 90 שנה. מדובר בבעיית הקיום והחלקות של משוואות נאוויה-סטוקס, שמתארות את התנועה של נוזלים וגזים. הן משמשות בין היתר בתכנון מטוסים, בחיזוי מזג אוויר ובחקר זרימת דם. הבעיה היא שאף שהמשוואות עובדות היטב באינספור שימושים, איש לא הצליח להוכיח שבשלושה ממדים הן תמיד ממשיכות להתנהג בצורה "יפה" - או שבמצבים מסוימים עלולה להיווצר סינגולריות, נקודה שבה המהירות המתמטית של הזרימה גדלה ללא גבול בזמן סופי. בשנת 2000 הכניס מכון קליי את השאלה לרשימת שבע בעיות המילניום והציב פרס של מיליון דולר לפתרונה. עד היום נפתרה רשמית רק אחת מהשבע - השערת פואנקרה, שאותה פתר גריגורי פרלמן וסירב לקבל את הפרס. נכון להבוקר, אתר מכון קליי עדיין מציג את בעיית נאוויה-סטוקס כבלתי פתורה.
פריצת דרך או משחק מלוכלך? OpenAI טוענת ש-AI פתר בעיה בת 90 שנה
