数学 × AI 周报 5 数学 × AI 周报 · 第 05 期：一周两个「证明」头条，一个签字画押，一个悬而未决 2026/07/20 数学 × AI 周报 · 第 04 期：陶哲轩把旧代码交给 AI，把证明留给自己 2026/07/13 数学 × AI 周报 · 第 03 期：从「答对了」到「证明可查」 2026/07/06 数学 × AI 周报 · 第 02 期：莱顿宣言，数学家的集体反击 2026/06/29 数学 × AI 周报 · 第 01 期：Erdős 猜想破了，AI 进入「研究数学」时代 2026/06/26