דיווח: ההוכחות ש-OpenAI פרסמה עדיין לא עומדות בסטנדרטים של תחום המתמטיקה
OpenAI פרסמה השבוע 719 כתבי יד עם פתרונות לבעיות מתמטיות פתוחות, אך לא עמדה בחלק מההנחיות של קבוצת מתמטיקאים מובילים שהיא עצמה התייעצה איתה. במקביל, מאמר חדש מקיימברידג' ומקינגס קולג' לונדון מצא פערים בין ההסבר המילולי של אחת ההוכחות לבין הגרסה הפורמלית שלה ב-Lean.