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