OpenAI פרסמה טענה שאם תתאמת, היא תהיה אחד הרגעים החשובים בהיסטוריה של הבינה המלאכותית: לדברי החברה, המודלים הפנימיים שלה הגיעו לתוצאות חדשות בשלוש בעיות פתוחות ומפורסמות, במתמטיקה, במדעי המחשב ובפיזיקה. ההודעה פורסמה אתמול, והיום היא כבר אחד הנושאים המדוברים בעולם הטכנולוגיה. אבל כרגע מדובר בטענות בלבד, ואף אחת מהן לא עברה ביקורת עמיתים.
שלוש הטענות
במתמטיקה, OpenAI טוענת שהמודלים שלה הוכיחו את השערת ה-local smoothing של סוג (Sogge) בכל הממדים. ההשערה הוצגה ב-1991, ולפי החברה, ההוכחה שלה פותרת גם את השערת קקייה ואת השערת ההגבלה של שטיין, שתיים מהבעיות הידועות בתחום.
במדעי המחשב, החברה טוענת להפרכה של השערת הזמן המעריכי (ETH). זו השערה שעליה נשענות הרבה תוצאות בתורת הסיבוכיות, ובפשטות היא קובעת שיש בעיות חישוביות שאי אפשר לפתור הרבה יותר מהר מאשר בבדיקה כמעט של כל האפשרויות. אם ההשערה אכן שגויה, חלק מהתוצאות שנשענות עליה יצטרכו בדיקה מחדש.
בפיזיקה, OpenAI אומרת שהמודלים שלה הפיקו הוכחת קיום לתורות שדה קוונטיות מסוימות בארבעה ממדים, כולל תורת יאנג-מילס הטהורה. זה נוגע באחת מבעיות המילניום של מכון קליי, אבל החברה לא טוענת שפתרה אותה במלואה: הבעיה דורשת גם להוכיח את מה שמכונה "פער המסה", ו-OpenAI לא טוענת לכך.
מי בודק
לפי הדיווחים, את שתי הטענות הראשונות מלוות הוכחות שפורסמו בשפת Lean, כלי ממוחשב שמאפשר לבדוק הוכחות מתמטיות באופן מכני. את ההפרכה של ETH בודקים בין היתר ראסל אימפליאצו ורמאמוהן פטורי, החוקרים שהציעו את ההשערה במקור. חומרי הפיזיקה עדיין לא פורסמו במלואם, והם נמצאים בבדיקה של קבוצת מומחים חיצונית.
למה כדאי להיזהר
זו לא הפעם הראשונה ש-OpenAI מפרסמת טענות מדעיות גדולות. בתחילת החודש היא פרסמה מאות מאמרים שנכתבו בעזרת המודלים שלה, ומתמטיקאים העלו אז חששות לגבי האיכות והדיוק שלהם. גם בדיווחים על ההודעה הנוכחית יש אי-התאמות בתאריכים, ועדיין לא פורסמו תגובות מפורטות של מומחים בלתי תלויים. הוכחה ב-Lean מבטיחה שהטיעון תקין מבחינה לוגית, אבל עדיין צריך לבדוק שהמשפט שהוכח הוא באמת הבעיה המקורית.
מה זה אומר
אם הטענות יתאמתו, זה יהיה סימן ברור לכך שמודלי בינה מלאכותית יכולים לייצר ידע מדעי חדש, ולא רק לסכם ידע קיים. עבור OpenAI, שמתחרה באנתרופיק ובגוגל על תואר המעבדה המובילה, מדובר גם בהצהרה עסקית. בינתיים ההמלצה פשוטה: לחכות לבדיקה של הקהילה המדעית, שעשויה לקחת שבועות ואפילו חודשים.
