OpenAI מסרה שמודלים פנימיים שלה הפיקו שלוש תוצאות מחקר, בין היתר טענה להפרכת Exponential Time Hypothesis, השערה מרכזית במדעי המחשב. אלה טענות של החברה שטרם אומתו באופן בלתי תלוי.
בין התוצאות הנטענות גם הוכחה של השערת local smoothing בכל מימד, שלפי הדיווח משלימה פתרון של השערות Kakeya ו-Stein restriction. OpenAI פרסמה ב-GitHub את התיאורים בשפה טבעית ואת ההוכחה הפורמלית בשפת Lean.
ההקשר: בתחילת החודש פרסמה החברה 722 כתבי יד ממודל פנימי שטרם שוחרר. החברה עצמה מזהירה שתוצאות שלא עברו פורמליזציה עשויות להכיל שגיאות, ומתמטיקאים כמו סקוט אהרונסון כתבו שנראה שאף אדם עדיין לא הבין את רוב ההוכחות. הפרטים על ההודעה האחרונה מגיעים כרגע ממקור אחד בלבד, ולכן כדאי להמתין לבדיקה של מומחים.
מקורות: Unite.AI, Implicator.ai
₿ אהבת את הפוסט?
אפשר לשלוח לי ביטקוין ישירות לכתובת שלי. סרקו את הקוד, או העתיקו את הכתובת:
bc1qsn043qmlv4ejxydeknkfm9u6e93e6tegmq9x85
שימו לב: העברה on-chain כרוכה בעמלת רשת שאינה תלויה בסכום, ולכן סכומים קטנים מאוד אינם כדאיים.
