北京
分享至
著名数学家陶哲轩在一篇新论文中提出一个观点：AI可能让数学证明变得充裕，而数学界尚未适应这种充裕。
他认为，数学正进入一个类似基础危机的动荡期。但这次被压力测试的，不是数学的真理基础，而是数学的价值与实践框架。
核心问题：数学的价值体系
陶哲轩主张，必须把数学中那些未言明的目标变得更加明确——比如什么算贡献、什么算理解、谁完成了工作。这些原本靠默契维持的规则，在AI参与数学研究后将不再清晰。
当证明变得充裕，稀缺的不再是结果，而是对结果意义的判断。数学界需要重新回答：在AI能辅助甚至生成证明的时代，数学家的价值究竟在哪里。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
