陶哲轩：数学 2.0 时代已至
来自 量子位 · 期号 2026-10-11
摘要
数学家陶哲轩提出，数学正在进入 2.0 时代。 过去，数学研究高度依赖个人灵感与手工推导，验证过程漫长且容易出错。现在，AI 工具（如形式化证明助手和 LLM）可以辅助数学家进行大规模计算、自动验证猜想，甚至生成可读的证明草稿。 陶哲轩认为，这改变了数学的协作方式：研究者可以更快地验证彼此的想法，将精力集中在提出问题和构建理论框架上。数学 2.0 的核心是“人机协作”，而非 AI 取代数学家。
来自 量子位 · 期号 2026-10-11
数学家陶哲轩提出，数学正在进入 2.0 时代。 过去，数学研究高度依赖个人灵感与手工推导，验证过程漫长且容易出错。现在，AI 工具（如形式化证明助手和 LLM）可以辅助数学家进行大规模计算、自动验证猜想，甚至生成可读的证明草稿。 陶哲轩认为，这改变了数学的协作方式：研究者可以更快地验证彼此的想法，将精力集中在提出问题和构建理论框架上。数学 2.0 的核心是“人机协作”，而非 AI 取代数学家。
本站只做摘要与索引，全部内容版权归原作者所有。