AI 日报 · 2026 年 10 月 10 日 · 星期六

OpenAI本周在GitHub一次性释出近400项AI生成数学成果，覆盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计物理、数学物理等多个分支，共700多份手稿。数学界普遍认为这批成果的消化需要数年时间。同步发布的数十位数学家署名短评中，剑桥大学Anders Hansen等人指出，OpenAI为Navier–Stokes问题证明提供的Lean代码与自然语言版本在Lemma 8.6处存在偏差。