Erdős 问题 2

• 数学 × AI 周报 · 第 09 期：55 万行 Lean 五天写成，DeepMind 的 Erdős 账被审出一笔，OpenAI 出钱请数学家来读 2026/10/19
• 数学 × AI 周报 · 第 08 期：OpenAI 一口气放出 722 篇数学手稿，一周内撤了三篇，Lean 通过也不等于对 2026/10/12