著名数学家陶哲轩在一篇新论文中提出一个观点：AI可能让数学证明变得充裕，而数学界尚未适应这种充裕。

他认为，数学正进入一个类似基础危机的动荡期。但这次被压力测试的，不是数学的真理基础，而是数学的价值与实践框架。

打开网易新闻 查看精彩图片

核心问题：数学的价值体系

陶哲轩主张，必须把数学中那些未言明的目标变得更加明确——比如什么算贡献、什么算理解、谁完成了工作。这些原本靠默契维持的规则，在AI参与数学研究后将不再清晰。

当证明变得充裕，稀缺的不再是结果，而是对结果意义的判断。数学界需要重新回答：在AI能辅助甚至生成证明的时代，数学家的价值究竟在哪里。