OpenAI 发布内部模型产出的722篇数学手稿清单

OpenAI 发布一份数学手稿清单，称内部模型产出了722篇手稿，归为372个成果族。团队称评估使用了约4000个研究问题，成果覆盖17个方向；其中235个成果族附有 Lean 形式化说明。OpenAI 表示，部分结果尚未形式化，可能存在问题，并将继续修正和补充。