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

ביזפורטל·לפני שעה

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

לכתבה המלאה ב-ביזפורטל