OpenAI於週二在GitHub上發佈了722篇由其未發佈AI模型生成的數學手稿，並聲稱其中大部分僅通過單一提示詞生成。然而，麻省理工學院數學家Andrew Sutherland等部分學者對此表示質疑，認為在模型和結果可復現之前，相關聲明未經證實，並要求OpenAI提供更多驗證。OpenAI承認並非所有手稿都經過計算機驗證，其中162篇（約22%）已通過Lean軟件進行機械邏輯檢查。