陶哲轩发布“数学2.0”文档：AI投资让证明从稀缺时代走向充裕时代（社区转述）

已核实（事实）

GeekNews介绍了陶哲轩的“数学2.0”PDF。据摘要，该文档主张如下：传统数学一直以难以获得正确证明的“证明稀缺性”为前提发展。但随着AI获得大规模投资，正在进入证明充裕的时代。数学结果可以客观验证、易于数字化，且拥有大量高质量数据。因此，解数学题成为非常适合AI的任务。

意义（解读）

继近期OpenAI大量公开数学证明并引发撤回和修改争议之后，这是一位代表性数学家整理提出的AI时代数学研究方式。可为证明验证、研究共同体的作用以及如何认定贡献等讨论提供参照。

来源

• 社区 Terence Tao: 수학 2.0 [PDF] GeekNews