DeepMind 2 数学 × AI 周报 · 第 09 期：55 万行 Lean 五天写成，DeepMind 的 Erdős 账被审出一笔，OpenAI 出钱请数学家来读 2026/10/19 数学 × AI 周报 · 第 01 期：Erdős 猜想破了，AI 进入「研究数学」时代 2026/06/26