בעיית נאוויה־סטוקס
"זה כאילו מרימים את המשקולות בחדר הכושר בשבילנו"
10,000 סוכנים ושפת תכנות אחת
כדי להגיע להישגים אלו, החברות נעזרות בשיטה הנקראת "למידת חיזוק". טכניקה זו מאפשרת למערכות ללמוד מיומנויות באמצעות תהליך ארוך של ניסוי וטעייה, תוך קבלת משוב תמידי. לאחר שהמערכות מתאמנות על אלפי בעיות, הן מסוגלות להוכיח משפטים מתמטיים מורכבים באמצעות שפת התכנות Lean, שפותחה במקור ככלי עזר עבור מתמטיקאים אנושיים וכעת משמשת את המכונות ליצירת קוד והוכחות עצמאיות לחלוטין.
הפתרון ההיסטורי של משוואות נאוויה־סטוקס מצטרף להישגים קודמים מהעת האחרונה, דוגמת הפתרון של "בעיות ארדש" - בעיות מתמטיות נוספות, שהושג בשיתוף פעולה בין OpenAI לסטארט־אפ Harmonic. חלק מהמומחים עדיין סבורים כי התוכנה פועלת כמו סטודנט שמשנן חומר למבחן ללא הבנה עמוקה של הקונספט. אולם, ההתקדמות המהירה מעידה כי החיבור בין מתמטיקאים אנושיים למכונות, כנראה ימשיך להגדיר מחדש את גבולות המדע והיכולת האנושית במאה ה־21.
התרעות פיקוד העורף