המודל הפנימי של OpenAI פתר שלוש בעיות פתוחות מתחומי המתמטיקה, מדעי המחשב התיאורטיים והפיסיקה המודל גם הפריך…

המודל הפנימי של OpenAI פתר שלוש בעיות פתוחות מתחומי המתמטיקה, מדעי המחשב התיאורטיים והפיסיקה המודל גם הפריך את ETH, השערת הזמן האקספוננציאלית. זוהי, לא פחות, הנחה מרכזית בתורת המורכבות החישובית, הקשורה קשר הדוק לבעיית המילניום לגבי P ≠ NP. ETH טוענת שלא ניתן לפתור את בעיית שביעות הרצון של נוסחאות בוליאניות הרבה יותר מהר מאשר חיפוש ממצה. הנחה זו של מדעי המחשב ומתמטיקה שימשה במשך שנים רבות כבסיס להוכחת תוצאות מתורת הגרפים, ביולוגיה חישובית, מאגרי מידע, גיאומטריה וכו'. יש מאות עבודות כאלה ב-ETH. עכשיו פתאום מתברר ש-ETH שקרי, וזה אומר שכל השאלות כמו "כמה יותר מהר זה יכול להיות" נפתחו מחדש. התוצאה כל כך משמעותית שהיא תיבדק על ידי צוות בראשות ראסל אימפגליאצו וראמורי פאטורי, המדענים שגיבשו את ה-ETH. בנוסף, OpenAI מבטיחה לשלם עבור כנס כדי להבין את התוצאה. שתי משימות אחרות גם די בולטות: 1. השערה של קאקיי והחלקה מקומית. אנחנו מדברים על גלים שמתמקדים בנקודה אחת. ישנה השערה של סוגג מ-1991, הקובעת שהפוקוס החזק ביותר אינו יכול להימשך זמן רב. מתוך השערה זו נובעים השערת קאקיי והשערת המגבלה של שטיין. זוהי אחת הבעיות המרכזיות של ניתוח הרמוני; המתמטיקאים החזקים ביותר עבדו על זה עשרות שנים, אבל עד עכשיו אנשים הגיעו להוכחות רק למימדים קטנים (שניים או שלושה). מודל OpenAI ייצר הוכחה לכל מימד, ואיתו נסגר אוטומטית את קאקיי ו-שטיין, גם לכל הממדים. 2. קיומם של QCD ויאנג-מילס. המודל הוכיח בקפדנות את קיומה של תיאוריית יאנג-מילס. זה גם חלק מאחד משבעת אתגרי המילניום. היא גם הוכיחה את קיומו של QCD מלא, שבו מוסיפים קווארקים לגלואונים, ותיאוריה מאוחדת הכוללת חלקיקי מודל סטנדרטי.