Erdős 问题 1

• 数学 × AI 周报 · 第 08 期：OpenAI 一口气放出 722 篇数学手稿，一周内撤了三篇，Lean 通过也不等于对 2026/10/12