陶哲轩：数学2.0时代已至，AI让证明泛滥

AI 摘要

菲尔兹奖得主陶哲轩发文提出「数学2.0时代已至」，认为AI正让数学证明从稀缺走向泛滥，数学1.0时代建立在证明稀缺之上的评价体系即将落幕。他指出AI在数学领域能力并不均匀，呼吁建立更透明的评估机制，将失败结果和算力成本纳入报告，并警告盲目优化「解题」指标会损害数学的长期健康。陶哲轩还牵头成立人类数学协会（AHM），反对OpenAI一次性发布722篇数学论文的做法，并认为AI时代读博的价值在于培养提出好问题和综合知识的能力。

正文节选

陶哲轩：数学2.0时代已至！ 文婷 发自 凹非寺 量子位 | 公众号QbitAI 数学2.0时代已至。 刚刚，数学界的领军人物、菲尔兹奖得主陶哲轩正式发文： AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕。 自打OpenAI宣布解决纳维–斯托克斯千禧年难题以来，AI猛攻之下，陶哲轩为首的数学家又是吐槽OpenAI又是呼吁急踩刹车的。 但历史的潮流滚滚向前，AI的发展显然已不可逆流。 陶哲轩也并非一味地变身AI减速派，而是向数学界抛出了一个更深刻的问题： 怎样才能让越来越多的AI证明，为人类带来更多理解、更好的训练和对现实世界更可靠的贡献？ 以及未来，我们究竟需要怎样的数学家？ 从“证明稀缺”到“证明泛滥”，数学2.0的前提变了 陶哲轩认为，在数学1.0时代中，传统数学一直运行在证明稀缺的环境里。 为了证明一道开放难题，人们往往需要拥有深厚的专业知识，并为此付出大量的时间和精力； 因此，“谁最先解决了什么问题”，自然便成为了数学界衡量贡献的重要方式。 但如今，AI正在深刻地改变着这种环境。 无论是OpenAI一夜之间甩出722篇数学论文，扫射准黎曼猜想、霍奇猜想、

发布时间：2026-10-11 15:52

抓取时间：2026-10-11 19:31

来源机构：量子位