OpenAI מבקשת סקירה חיצונית להוכחות שנוצרו בבינה מלאכותית במתמטיקה, מדעי המחשב ופיזיקה

OpenAI אומרת שמודלי הבינה המלאכותית הפנימיים שלה הפיקו הוכחות במתמטיקה, במדעי המחשב ובפיזיקה, כולל טענה שהנחת יסוד מרכזית במדעי המחשב היא שגויה וטענה שחלק מבעיית פרסי המילניום הוכחה. OpenAI ביקשה ממומחים חיצוניים, כולל חתן פרס נובל, לסקור את התוצאות ולהחליט אם ההוכחות מחזיקות מעמד.

מדעי המחשב: אתגר ל-ETH

OpenAI אומרת שתוצאה אחת נוגעת להשערת הזמן האקספוננציאלי, או ETH, הקשורה לבעיית סיפוק בוליאני, הידועה כ-SAT. SAT שואלת האם ניתן לקבוע משתנים בנוסחה לוגית כך שהנוסחה תהיה אמת. ETH אומרת שאין קיצור דרך אמיתי, ושזמן החישוב במקרה הגרוע גדל באופן אקספוננציאלי עם הוספת משתנים. OpenAI אומרת שהמערכת שלה הוכיחה ש-ETH היא שגויה. החברה אומרת שזה ישפיע על מאות מאמרים שנבנו על ETH, אם כי רווחים מעשיים עדיין ידרשו מחקר רב.

Ryan Williams מ-MIT בודק ומסביר את התוצאה באופן עצמאי עם Russell Impagliazzo ו-Ramamohan Paturi מ-UC San Diego. הקבוצה אומרת שאין לה הסכמי סודיות, שהיא עובדת ללא שכר, ומתכננת לשתף ממצאים ביניים. במכתב פתוח, השלושה אומרים שמעורבותם אינה אישור. OpenAI מפרסמת את ההוכחה הכתובה ואת הוכחת Lean, והתחייבה לממן כנס על התוצאה.

מתמטיקה: החלקה מקומית בכל ממד

תוצאת המתמטיקה נוגעת להשערת ההחלקה המקומית שהוצעה על ידי Christopher Sogge ב-1991. ההשערה אומרת שריכוז קיצוני של גלים נמשך זמן קצר בלבד, ולכן גלים מתנהגים בצורה חלקה יותר כאשר הם ממוצעים על פני זמן. היא הוכחה בשני ממדים על ידי Guth, Wang ו-Zhang ב-2019. OpenAI אומרת שמודליה הפיקו כעת הוכחה לכל ממד. לפי OpenAI, התוצאה גם מוכיחה את השערת Kakeya ואת השערת ההגבלה של Stein בכל הממדים. OpenAI אומרת שאין קבוצה ייעודית המלווה הוכחה זו. לאחר פנייה למומחה חיצוני, היא פרסמה ישירות את טקסט ההוכחה ואת הוכחת Lean, כדי שחוקרים יוכלו להחליט בעצמם כיצד לבדוק את התוצאה.

פיזיקה: קיום תורת השדות הקוונטיים

תוצאת הפיזיקה נוגעת לתורת השדות הקוונטיים, אשר OpenAI מכנה את המסגרת החשובה ביותר בפיזיקה תיאורטית מודרנית. OpenAI אומרת שהבינה המלאכותית שלה הוכיחה שתורות שדות קוונטיים מסוימות קיימות בארבעה ממדים. ההוכחה כוללת את תורת Yang-Mills, כרומודינמיקה קוונטית, ואת תורת האיחוד הגדול הפשוטה ביותר. ב-Yang-Mills, OpenAI אומרת שפתרה רק את חלק הקיום, לא את פער המסה, ולכן בעיית פרסי המילניום לא תיפתר במלואה.

קבוצה בראשות David Gross תלווה את העבודה. Gross חלק את פרס נובל לפיזיקה לשנת 2004. הקבוצה כוללת גם את Michael Douglas, Arthur Jaffe, Igor Klebanov ו-Nikita Nekrasov. OpenAI אומרת שתירגמה את הוכחת Yang-Mills ל-Lean, אך קבוצה זו מעכבת כרגע את חומרי הבינה המלאכותית ומתכננת לפרסם את התוצאה בעצמה.

תהליך הסקירה והקרדיט

OpenAI אומרת שהיא לא תובעת קרדיט מדעי, ושקרדיט צריך להינתן לקבוצות שמסבירות את התוצאות. היא גם מודה שיש לכך מחיר, כולל העובדה שמי שבוחר את המלווים הראשונים משפיע על מי שישתתף ראשון. OpenAI אומרת שעדיין לא ברור איזה גישה לסקירה עובדת בצורה הטובה ביותר.

מקורות: The Decoder