AI for Math Workshop 1

• 数学 × AI 周报 · 第 04 期：陶哲轩把旧代码交给 AI，把证明留给自己 2026/07/13