OpenAI הודיעה על שלוש תוצאות מדעיות משמעותיות שהושגו בעזרת מודלי ה-AI שלה. הן נוגעות למתמטיקה, למדעי המחשב ולפיזיקה.
בתחום המתמטיקה הוכיח המודל את השערת ההחלקה המקומית (local smoothing conjecture) בכל ממד מרחבי שאינו קטן משתיים. התוצאה מקיפה גם את השערות קאקאיה ואת אומדני ההגבלה של שטיין בטווח המלא.
החברה פרסמה את פלט המודל ישירות ב-GitHub, בהתאם להמלצות המומחים. קודם לכן הוכחה ההשערה רק בשלושה ממדים.
במדעי המחשב הפריך ה-AI את השערת הזמן המעריכי (Exponential Time Hypothesis). מוצג אלגוריתם דטרמיניסטי שסופר במדויק השמות מקיימות עבור נוסחאות CNF ברוחב קבוע בזמן תת-מעריכי.
את בדיקת התוצאה תוביל קבוצה עצמאית בראשות ראסל אימפליאצו, רמאמוהאן פאטורי וראיין ויליאמס. החומרים פורסמו מיד לציבור.
בפיזיקה הושגה הוכחה מתמטית קפדנית לקיומן של תורות שדה קוונטיות אינטראקטיביות מסוימות עם שדות כיול ופרמיונים בארבעה ממדים. בין הדוגמאות נמנים כרומודינמיקה קוונטית והשלמה מאוחדת של המודל הסטנדרטי.
את קבוצת הפיזיקאים תוביל דייוויד גרוס, וחברים בה גם מייקל דאגלס, ארתור ג'פי, איגור קלבנוב וניקיטה נקרסוב. הם החליטו לדחות את הפרסום המלא כדי להכין פרשנות משלהם.
OpenAI גייסה מדענים חיצוניים כ"רועים" (shepherds) לעבודה עם התוצאות. החברה מציינת שלגישות שונות לפרסום יש פשרות משלהן, כולל שאלות של נגישות ושל אסימטריית מידע.
הפרופסור למתמטיקה אלכס איוסביץ' מאוניברסיטת רוצ'סטר כינה את הוכחת השערת ההחלקה המקומית התפתחות היסטורית. הוא הביע שמחה ואופטימיות לגבי הפוטנציאל של ה-AI במדע, אף שציין רגשות מעורבים בקרב התאורטיקנים.
כיצד ישתנה תהליך הגילוי המדעי כאשר ה-AI יתחיל להציע יותר ויותר תוצאות כאלה?
