OpenAI מכריזה על שלוש תגליות מדעיות ושיתופי פעולה אקדמיים
OpenAI אומרת שיש לה תגליות מרכזיות חדשות במתמטיקה, במדעי המחשב ובפיזיקה; מומחים חיצוניים מנחים חלק מהתוצאות, ובמקרה של המתמטיקה פורסם פלט ה-AI כדי שחוקרים יפתחו הסברים משלהם.
OpenAI אומרת שיש לה עוד שלוש תגליות מרכזיות במתמטיקה, במדעי המחשב ובפיזיקה, פחות מחודש אחרי שפרסמה מאות כתבי יד שלטענתה הכילו פתרונות לשאלות מתמטיות ארוכות שנים. הפעם, מומחים חיצוניים שאותם OpenAI מכנה "רועים" מנחים את תוצאות מדעי המחשב והפיזיקה, ואילו במקרה של בעיית המתמטיקה היא אומרת שהמליצו לה לפרסם את פלט ה-AI כדי שחוקרים יגיעו בעצמם להסברים.
תוצאות במתמטיקה ובפיזיקה
OpenAI פרסמה היום תוצאות ב-GitHub, ובהן הוכחה של החלקה מקומית (local smoothing) עבור משוואת הגלים האוקלידית. ההוכחה משתמשת במשוואה דיפרנציאלית חלקית מסייעת כדי לבסס את ההחלקה המקומית של Sogge עבור גלים בכל ממד מרחבי שהוא שניים ומעלה, והיא מניבה גם את השערות Kakeya המקסימלית והממד ואת אומדני ההגבלה הספריים של Stein בכל פנים הטווח המשוער. OpenAI אומרת שהמודל הפיק גם הוכחה של השערת ההחלקה המקומית בכל ממד, ובכך פתר את השערת Kakeya ואת השערת ההגבלה של Stein בכל הממדים. המידע הפיזיקלי לא פורסם במלואו, אך OpenAI מתארת אותו כהוכחת קיום מתמטית קפדנית של תורות שדה קוונטיות מסוימות המקיימות אינטראקציה, הכוללות שדות כיול ופרמיונים בארבעה ממדים, ובהן כרומודינמיקה קוונטית (QCD) והשלמה מאוחדת של המודל הסטנדרטי של פיזיקת החלקיקים. לפי OpenAI, David Gross יעמוד בראש קבוצה שתכלול את Michael Douglas, Arthur Jaffe, Igor Klebanov ו-Nikita Nekrasov, והיא תלווה את העבודה.
התוצאה במדעי המחשב
תוצאת מדעי המחשב טוענת שהשערת הזמן המעריכי (ETH), שנחשבה זה מכבר לנכונה, שגויה. המאמר מציג אלגוריתם דטרמיניסטי שסופר בדיוק את ההשמות המספקות של נוסחאות CNF ברוחב קבוע בזמן תת-מעריכי ובמקום פולינומי, והמקרה של 3-SAT מפריך את ההשערה. קבוצת עבודה עצמאית בראשות Russell Impagliazzo, Ramamohan Paturi ו-Ryan Williams תבחן את ההוכחה ותסביר אותה, ולבקשת הקבוצה OpenAI פרסמה את החומרים מיד. הקבוצה פרסמה היום ב-GitHub את כתיבת פלט ה-AI ואת הוכחת Lean, וכן מכתב פתוח המבקש תגובות על אופן בחינת הטענה ועל נורמות לתגליות שנוצרו ב-AI.
ויכוח על נוהלי הפרסום
OpenAI מודה שלגישה הזו עלולות להיות בעיות משלה. פאנל יועצי המתמטיקה של AGMAI, שהקים OpenAI, אמר אתמול שהוא ממליץ לחברות AI שלא לאמץ נוהגים שבהם נקבעים מראש אנשים מסוימים כמי שיקבלו את הפלט, בנימוק של גישה לא שוויונית, מוניטין שאול ובחירה מוטה. במקום זאת המליץ הפאנל שמעבדות AI יפרסמו בעתיד את הפלט במאגרים אקדמיים, עם הוכחות מפורמלות ב-Lean, מידע על אופן בחירת הבעיות, מימון למי שעובדים על הבנת התוצאות ומידע נוסף. המכתב הפתוח שואל אילו ציפיות צריכות להנחות גישה מוקדמת לתוצאות שנוצרו ב-AI, גילוי ניגודי עניינים ושימוש בחומר שלא פורסם במחקר המשך; כיצד הקרדיט צריך להכיר גם בתגליות חדשות וגם בעבודה של בדיקה, תיקון, פישוט, הסבר והרחבה שלהן; וכיצד לתמוך בסטודנטים ובחוקרים כשהשיטות וכיווני המחקר משתנים, תוך שמירה על ההבנה ועל שיקול הדעת שנדרשים כדי להטיל ספק בתוצאות ולפתח רעיונות חדשים. OpenAI גם מעניקה 5 מיליון דולר כדי לעזור למתמטיקאים להבין מחקרים שנוצרו ב-AI.
הקשר
רק לפני כמה חודשים הוענקה לפרופסורית NYU Hong Wang מדליית פילדס מטעם האיחוד המתמטי הבינלאומי, על שפתרה את השערת Kakeya בשלושה ממדים. הפרסום הקודם של OpenAI מ-6 באוקטובר מוזכר בתוצאה המתמטית החדשה, והחברה פרסמה בעבר מאות כתבי יד שלטענתה הכילו פתרונות לשאלות מתמטיות ארוכות שנים.
SiTech — פיתוח אתרים בכוח ה-AI
אנחנו בונים אתרים מהירים ומודרניים ומשלבים AI בתהליכי עבודה אמיתיים. יש לכם פרויקט או שאלה? נשמח לעזור.