Axiom 1

• 数学 × AI 周报 · 第 10 期（本周速递）：4310 万行 Lean 把「巨大定理」过了一遍，OpenAI 那批手稿还在被一篇篇读 2026/11/02