量子位消息，数学家陶哲轩提出“数学 2.0 时代已至”的判断。这一提法指向的是数学研究方式正在发生的整体变化：数学工作不再只是纸笔与黑板上的推演，而逐步进入人与机器协同的阶段。
在这一语境下，被讨论的对象通常包括由机器参与提出猜想、检索已有结果、生成候选证明路径，以及对证明进行形式化与机器验证。与多数领域不同，数学具有严格的判定标准——一个结论要么被证明，要么不被接受，评价相对客观，这使数学成为检验 AI 推理能力的天然试验场。
对 AI 从业者而言，这一判断的重要性体现在两方面。其一，数学为推理模型提供了大量可验证的素材，能在一定程度上缓解“生成内容难以核实”这一长期问题，为训练与评测提供更可靠的信号；其二，如果机器能够稳定地参与数学发现，其影响将外溢到软件验证、芯片设计、密码学等依赖形式化推理的领域。反过来说，数学界也需要重新审视工具使用、贡献认定与成果署名等既有惯例。
“数学 2.0”究竟意味着工具的升级，还是研究组织方式的改写，目前仍需观察。但可以确定的是，AI 与数学的结合已经从零星尝试走向公开讨论的中心，这条线索值得持续跟踪。