陶哲轩 7
- 数学 × AI 周报 · 第 08 期：OpenAI 一口气放出 722 篇数学手稿，一周内撤了三篇，Lean 通过也不等于对
- 数学 × AI 周报 · 第 07 期：黎曼零点密度被顶到 67.2%，一份「生证明」要陶哲轩亲自消化八天
- 数学 × AI 周报 · 第 06 期：一条推翻 87 年猜想的推文，一场追平人类满分的官方判卷
- 数学 × AI 周报 · 第 04 期：陶哲轩把旧代码交给 AI，把证明留给自己
- 数学 × AI 周报 · 第 03 期：从「答对了」到「证明可查」
- 数学 × AI 周报 · 第 02 期：莱顿宣言，数学家的集体反击
- 数学 × AI 周报 · 第 01 期：Erdős 猜想破了，AI 进入「研究数学」时代