OpenAI הודיעה על שלוש תגליות מדעיות חדשות שהפיקו המודלים שלה – במתמטיקה, במדעי המחשב ובפיזיקה. הבולטת שבהן היא הוכחה הטוענת שהשערת הזמן המעריכי, הנחת יסוד ותיקה במדעי המחשב, פשוט שגויה. ההכרזה מגיעה פחות מחודש אחרי ש-OpenAI פרסמה ב-6 באוקטובר יותר מ-700 עמודים של פתרונות והתקדמות ב-372 בעיות מתמטיות מרכזיות.
הפעם החברה בחרה בגישה שונה מזו של אוקטובר. במקום לפרסם הכול ישירות לציבור, היא הקימה קבוצות מומחים חיצוניות שיבחנו ויסבירו את התוצאות בתחומי מדעי המחשב והפיזיקה, בעוד שבמתמטיקה, לפי בקשת היועצים, היא שבה לפרסם את פלט המודל כפי שהוא, כדי שחוקרים יוכלו לפענח אותו בעצמם.
מי שהגה את ההשערה בודק את ההפרכה שלה
השערת הזמן המעריכי (Exponential Time Hypothesis) היא הנחה שהוצעה ב-1999, ולפיה לבעיות חישוביות מסוג מסוים – למשל פתרון נוסחאות לוגיות מורכבות – אין דרך לפתור אותן מהר באופן מהותי, והזמן הנדרש גדל בצורה מעריכית ככל שהבעיה גדלה. ההשערה היא הבסיס למאות מאמרים בתחומים כמו מסדי נתונים, ביולוגיה חישובית וגאומטריה. אם היא אכן שגויה, כפי שטוענת OpenAI, יהיה אפשר בעתיד למצוא אלגוריתמים מהירים ויעילים יותר לבעיות באותם תחומים.
המודל של OpenAI הפיק אלגוריתם דטרמיניסטי שסופר במדויק את מספר הפתרונות האפשריים לנוסחאות לוגיות מסוג CNF ברוחב קבוע, בזמן תת-מעריכי ובזיכרון פולינומי. המקרה הפרטי של בעיית 3-SAT, אחת הבעיות הבסיסיות בתורת הסיבוכיות, מפריך לפי ההוכחה את ההשערה כולה. קבוצת עבודה בלתי תלויה של מדעני מחשב, בראשות ראסל אימפליאצו ורמאמוהאן פאטורי מאוניברסיטת קליפורניה בסן דייגו – שניים מהחוקרים שהגו את ההשערה ב-1999 עצמה – וריאן וויליאמס מ-MIT, תבחן את ההוכחה ותסביר אותה. לבקשת הקבוצה פרסמה OpenAI את התיעוד וגם הוכחה פורמלית שנכתבה בשפת Lean, כלי תכנות שמאפשר לאמת הוכחות מתמטיות באופן ממוחשב, ב-GitHub באופן מיידי. הקבוצה גם פרסמה מכתב פתוח לקהילה המדעית, ובו שאלות על הכללים שצריכים לחול על גישה מוקדמת לתוצאות שהפיקה בינה מלאכותית, על חלוקת קרדיט בין הגילוי לבין העבודה של בדיקתו, ועל הדרך לשמר אצל סטודנטים את היכולת לשאול ולפתח רעיונות חדשים.
גלים בכל ממד, ותורת שדות שעוד לא פורסמה
במתמטיקה פרסמה OpenAI הוכחה למה שמכונה השערת ההחלקה המקומית של סוג' (Sogge's local smoothing), טענה על התנהגותם של פתרונות למשוואת הגל, בכל ממד מרחבי מגודל שתיים ומעלה. לדברי החברה, ההוכחה פותרת כמסקנה נלווית גם את השערת קאקייה ואת הערכות ההגבלה הספירית של סטיין. לפני כמה חודשים זכתה הפרופסור הונג וואנג מאוניברסיטת ניו יורק במדליית פילדס היוקרתית על פתרון השערת קאקייה בשלושה ממדים בלבד – וההוכחה החדשה, לטענת OpenAI, מרחיבה את הפתרון לכל הממדים. בדומה למהלך באוקטובר, המודל פורסם ישירות לציבור בלי קבוצה מלווה.
התגלית השלישית, בפיזיקה, היא הוכחה מתמטית לקיומן של תורות שדה קוונטיות עם שדות כיול ופרמיונים בארבעה ממדים, כולל כרומודינמיקה קוונטית (QCD) והשלמה מאוחדת של המודל הסטנדרטי של חלקיקים. בשונה מהתוצאות האחרות, OpenAI לא פרסמה את חומרי הפיזיקה במלואם, והותירה את הטיפול בהם לקבוצת מומחים בראשות הפיזיקאי דייוויד גרוס, ובה גם מייקל דאגלס, ארתור ג'פה, איגור קלבנוב וניקיטה נקרסוב. מי שמעוניין לשאול שאלות על העבודה הופנה לכתובת מייל ייעודית שהקימה הקבוצה.
ויכוח על הכללים למדע מבוסס בינה מלאכותית
OpenAI הבהירה שהיא לא תבקש קרדיט אקדמי על התגליות שהפיקו המודלים שלה. את הקרדיט על כתיבת ההסברים והחומרים יקבלו החוקרים בכל קבוצה, שגם יהיו אחראים לוודא שהתוצאות שיצרה הבינה המלאכותית מייחסות כראוי את כל החוקרים, השיטות והרעיונות שעליהם התבססו.
ההחלטה לצרף קבוצות מומחים ל"ליווי" של תוצאות לפני הסברתן לציבור עוררה ביקורת עוד לפני ההכרזה. יום קודם לכן פרסם פאנל AGMAI, גוף יועצים במתמטיקה ש-OpenAI עצמה הקימה, עמדה שלפיה הוא ממליץ לחברות בינה מלאכותית שלא לאמץ את הנוהג של מינוי אנשים מסוימים לקבלת גישה ראשונית לתוצאות, בטענה שהדבר יוצר גישה לא שוויונית, הישענות על מוניטין שאול ובחירה מוטה. במקום זאת הציע הפאנל שחברות יפרסמו תוצאות ברפוזיטוריז אקדמיים, עם הוכחות מפורמלות בשפת Lean, מידע על אופן בחירת הבעיות ומימון לאנשים שעובדים על הבנת התוצאות. OpenAI מצדה אמרה שהיא מזמינה משוב על איך להרחיב את ההשתתפות בתהליך ולהפוך אותו לשימושי יותר.
