#菲尔兹#​

菲尔兹奖公布引发全网热议，就在这场盛会之上，知名数学家陶哲轩提出警示，数学领域正遭遇一场百年一遇的全新危机。一贯看好人工智能发展的陶哲轩，在行业备受关注的节点提出冷静思考，观点迅速引发学界广泛讨论。

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

百年之前，罗素悖论、哥德尔定理掀起数学基础危机，学界花费数十年重建逻辑根基。陶哲轩认为，当下的危机截然不同。过去争论的是逻辑是否成立，如今被动摇的是数学研究的价值评判体系。

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

演讲过程中，陶哲轩跳出AI能否解开数学难题的争执。他设立一个前提假设，人工智能不久后可以低成本产出具备发表水准的数学证明。现有测试已经印证，AI能够攻克不少前沿研究问题，机器可以完成证明校验，却很难产出人类能够深度理解的推导过程。

AI生成的证明容易出现一个问题，文字通顺规整，思考的难点却被掩盖。读者看完很难真正吸收思路。长久以来，数学的荣誉体系建立在证明稀缺的基础上，谁率先破解难题，就能收获行业认可。AI大规模产出证明之后，稀缺性不复存在。

陶哲轩将这种现象称作证明消化不良。成果产出、验证、解读、同行认可、沉淀为经典理论，整套流程速度失衡。大量证明不断涌现，但是整个学术共同体，没有足够人力去消化梳理。

针对潜在乱象，他给出清晰思路。学界需要规范AI使用信息披露，不能一味看重率先解题，要重视成果解读与知识传承。他提出一条重要准则，如果研究者无法清晰讲解自己的研究成果，即便依靠AI完成证明，也不适合对外发表。

陶哲轩并不排斥人工智能工具，他自己创作幻灯片也借助AI辅助。他呼吁数学界主动制定规则，不能被动跟随科技企业的节奏。如何平衡技术工具与学科本源，将会是所有数学家需要共同面对的长期课题。