10月第1周 9月第2周 9月第1周

2026 年第 41 周 · 10.05 — 10.11每周一出刊

AI 周报 · 2026 年第 41 周 · 10.05 — 10.11

知新

第 3 期41

2026 年第 41 周10.05 — 10.11

约 1 分钟读完

本期导读

同一周内，数学界对 AI 从刹车到越线吵翻了天

01

AI×数学一周：刹车 · 量产 · 越线 · 争议

知新一手10.06

1 · 刹车

陶哲轩转向减速派，联合 25 位菲尔兹奖得主反对 AI 加速解数学题——顶级数学家第一次集体踩刹车。

知新一手10.07

2 · 量产

OpenAI 一夜公开 722 篇 AI 数学手稿，黎曼、BSD 等猜想在列——从个案到批量，AI 开始量产论文。

知新一手

3 · 越线

Claude 给出经 Lean 形式化验证的完整证明，悬置近 70 年的概率论“圣杯”渗流猜想迎来机器答卷——菲尔兹奖得主数年未克，AI 先到终点线。

知新一手10.07

4 · 争议

OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明，未经同行评审引学界争议——机器的证明，算不算数？

往期 AI 周报