OpenAI公开722篇数学手稿，30道重量级名题集中曝光

OpenAI于10月7日将一个尚未发布的内部模型产出的722篇数学手稿上传至GitHub，并归入372个「成果族」，覆盖17个方向。MarsBit援引机器之心梳理称，其中既有证明也有反例，约六成成果族附有Lean形式化。文中重点点出数论、代数几何、理论计算机、组合图论、算子代数和数学物理等方向的30项重量级结果，但多数结论仍未经过同行评审，是否成立仍待数学界逐项核验。