OpenAI אומרת שה-AI שלה פתר את משוואות Navier-Stokes. החברה שיתפה את זה בעדכון קצר בניוזלטר. לפי הקטע, המערכת פתרה בעיה שחוקרים מנסים לפצח כבר הרבה מאוד זמן.
משוואות Navier-Stokes מתארות איך זורמים זזים. זורמים זה נוזלים כמו מים וגזים כמו אוויר. מהנדסים משתמשים בהן כדי לחקור זרימת אוויר על כנפיים, לעקוב אחרי זרמים באוקיינוס ולחזות מזג אוויר. ועדיין, מתמטיקאים מתקשים לענות על שאלות בסיסיות לגבי איך הן מתנהגות.
השאלה המרכזית היא פתרונות חלקים. זורמים מפתחים לפעמים מערבולות פתאומיות. מתמטיקאים רוצים לדעת אם תמיד קיים פתרון חלק, או שהמתמטיקה קורסת לסינגולריות. סינגולריות זו נקודה שבה הערכים הופכים לאינסופיים. מכון Clay למתמטיקה הכניס את הבעיה לרשימת בעיות המילניום. כדי לפתור אותה צריך הוכחה מלאה, לא הערכה בקירוב.
מחקר בתחום הזה תלוי בחישובים מדויקים. כשאוויר עובר ליד מטוס, טעות מתמטית קטנה מובילה לתחזית שגויה. היום מהנדסים עוקפים את הבעיה וחותכים את המרחב לתאי רשת קטנים. מודלים כאלה רצים ימים על אשכולות מחשבים. פתרון ישיר יכול לשנות את הדרך שבה מריצים את החישובים ולחסוך זמן מחשוב.
OpenAI לא שיתפה פרטים טכניים. לא ברור אם ה-AI הפיק הוכחה מתמטית פורמלית או כלי חישוב חדש. הוכחה פורמלית מראה שהמתמטיקה נכונה בכל מקרה. כלי חישוב פשוט מחשב מספרים מהר יותר. שניהם חשובים, אבל זה לא אותו דבר.
הקהילה המדעית תרצה הוכחה. במתמטיקה טהורה, הודעה קצרה בניוזלטר לא מספיקה. חוקרים עצמאיים צריכים לקרוא כל שלב בעבודה ולבדוק אם ה-AI עשה טעויות לוגיות או דילג על שלבים קשים. מערכות AI יכולות לטעות בצורה שנראית משכנעת במבט ראשון.
מי שעוקבים אחרי כלי AI יכולים להתעדכן בשחרורים טכניים באתרים כמו masterphub.io. הצעד הבא הוא ש-OpenAI תפרסם מאמר מלא עם הנתונים והשיטות לביקורת עמיתים. רק אז נדע אם הטענה מחזיקה.