כל מה שחם בעולם הבינה המלאכותית · בעברית
בנושא
OpenAI הודיעה שמודל AI פנימי שלה פתר את בעיית Navier-Stokes, אחת מ"בעיות המילניום" במתמטיקה. ריצ'רד בורצ'רדס מברקלי, זוכה מדליית פילדס, אומר שלא ציפה לתוצאה כזו בעשור הקרוב, וטוען שהכעס של מתמטיקאים על ה-AI נובע מתסכול. בינתיים, מתמטיקאים אחרים מערערים על ההוכחה ועל האופן שבו נוצרה.
בתחילת ספטמבר הציגה OpenAI הוכחה אפשרית באורך 166 עמודים לבעיית Navier-Stokes, אחת הבעיות הפתוחות המפורסמות במתמטיקה. לפי דיווח שמתבסס על Scientific American, מתמטיקאים טוענים שהשיטה שבה נבנתה ההוכחה שונה מזו שהחברה תיארה. ההוכחה עדיין בבדיקה, וגם ב-OpenAI מודים שלא ברור מה תרמו לה 10,000 סוכני ה-AI שעבדו עליה.
OpenAI מדווחת כי מודל פנימי בלתי-משוחרר, שהחל להתאמן ב-28 באוגוסט, פתר למעלה מ-100 בעיות מתמטיות שעמדו פתוחות לאורך שנים, מעבר לפתרון שדווח קודם לבעיית Navier-Stokes. במקביל הקימה החברה גוף ייעוץ חיצוני של מתמטיקאים בכירים, על רקע ביקורת בקהילה המדעית על אופן פרסום ואימות תוצאות כאלה.
OpenAI הודיעה על פתרון מבוסס AI למשוואת נאבייה-סטוקס, אחת מבעיות המילניום בנות מיליון הדולר, לאחר מרוץ משאבים בן ימים שכלל עד 10,000 סוכני AI. ההכרזה לוותה במחלוקת: חוקר מ-Anthropic ומתמטיקאי מ-NYU שהשתמשו ב-Claude ו-Codex בעבודה על בעיה קרובה טוענים ש-OpenAI מיהרה לפרסם אחרי שנודע לה על התקדמותם, ואף הציעה לצמצם את הקרדיט שלהם.
OpenAI מדווחת כי מודל פנימי בלתי-מוצג, בעל יכולת משמעותית גדולה יותר מ-GPT-6 Astra, הפיק הוכחה לבעיית הקיום והחלקות של נאווייה-סטוקס — אחת משבע בעיות המילניום של מכון קליי. החברה מדגישה שאינה תובעת את הפרס הכספי על התוצאה, ומציגה אותה בעיקר כהדגמת יכולות; חוקרים, ובהם סבסטיאן בובק, כבר הביעו ספקות לגבי הטענות.