定理证明 2 数学 × AI 周报 · 第 02 期：莱顿宣言，数学家的集体反击 2026/06/29 数学 × AI 周报 · 第 01 期：Erdős 猜想破了，AI 进入「研究数学」时代 2026/06/26