陶哲轩：数学2.0时代已至！AI改变数学证明环境

数学界的领军人物、菲尔兹奖得主陶哲轩在最新发文中指出，数学2.0时代已经到来。AI的发展正在深刻改变数学证明的环境，标志着建立在证明稀缺之上的数学1.0时代的结束。自OpenAI宣布解决纳维–斯托克斯千禧年难题以来，AI在数学领域的应用引发了广泛关注和讨论。陶哲轩认为，AI的发展是不可逆的，他提出了一个更深刻的问题：如何让越来越多的AI证明为人类带来更多理解、更好的训练和对现实世界更可靠的贡献？在数学1.0时代，传统数学一直运行在证明稀缺的环境里，而AI的出现改变了这种环境。OpenAI一夜之间甩出722篇数学论文，扫射准黎曼猜想、霍奇猜想、BSD猜想等多个重磅研究，甚至将今年刚获得菲尔兹奖的王虹所解决的三维挂谷集维数猜想扩展到了四维。这一切都改写着数学研究的节奏，冲击着数学1.0时代的评价体系。陶哲轩提出，在证明之外，数学家们需要重新思考，究竟还有什么才是一位数学家真正的护城河。

来源：量子位

> 本文基于公开报道整理编辑，版权归原作者所有。如有异议请联系我们，查实后立即删除。