Stacks Project 1

• 数学 × AI 周报 · 第 11 期（本周速递）：Stacks 项目被写成 1575 万行 Lean，陶哲轩说数学家开始藏问题 2026/11/09