数学界的头条新闻

近日, 被称为菲尔兹奖得主的陶哲轩, 发布了一篇论文, 此论文一经发布, 便直接引发了震动。在这篇论文当中, 陶哲轩写道, 有十个从未被公开过的研究级数学难题, 让四个处于前沿阶段的AI系统去进行作答, 最终的结果是, 其中七道难题所拿到的解答, 几乎达到了无懈可击的程度。

若将这道题交付给博士生, 或许得耗费好几年方可攻克下来。然而, AI仅仅花费了十几至几百美元的计算成本, 便把这一难题给解决掉了。此数据一经出现，整个数学圈都无法安稳了。

解题只是第一级台阶

然而, 陶哲轩撰写这篇论文, 压根儿就不是冲着去报喜的目的。他实际想要抛出的那个问题显得更为尖锐, 就是想问, 当人工智能已然能够进行数学运算之际, 人类数学家究竟正在从事着什么呢?

论文存有一道填空题, 名为「AI能力猜想」, 其中留有六个空供后人填写, 5年或50年哪一数字均不重要, 关键是题目背后所含深意。

五级流水线

陶哲轩将解题之事拆开成为五级流水线, 一级一级朝着上追问。第一级是解尽能够多的未解题目, 然而这仅仅可以追求数量, 会产出大量错误解答。第二级增添验证正确性, 形式化证明工具能够检查逻辑, 可对不对并不等同于好不好。

清晰进行表述, 这是第三级所要求的, 要使得人类能够理解。AI生成的证明常常太过光滑, 缺乏人类写作时那种所谓的「自然摩擦」。人类证明会于关键之处停下来, 去解释作出选择的缘由, 会承认某些步骤并非显而易见, 这些均是留给后来者的路标。

证明消化不良

第四级是被学术共同体予以消化接纳, 发表于期刊之上、经由同行评审, 这并非一个作者或者一台机器能够进行优化的。第五级是难度最大的一关 , 结果要最终融入学科的标准理论 , 被写进教科书才称得上经典。

人越来越需要, 且从下往上这五级台阶越来越慢。数学正面临一场新危机, 也就是AI生成证明的速度将会远远超过人类验证以及消化的速度, 此刻瓶颈已从生出证明转变成对证明进行消化。

讲不明白就别发

那场风暴来临之际, 陶哲轩将自身秉持的原则予以展现, 若作者没办法清晰地阐述自身所实现的成果, 即便是借助某种方式通过了形式上很系统的验证过程也不应当去发表, 这样叙述的话语直接对那样一种当有AI助力完成验证然后自己却不愿去进行解释说明的态度予以了否定。

他直言不讳地透露自己同样运用AI进行文献搜索, 进行文本补全, 还进行图表生成。运用AI是没有问题的, 然而你务必能够登上讲台, 将每一步清晰地讲述明白。于2026年6月发布的莱顿宣言也在阐述着同样的一个事, 那就是——AI能够参与到研究之中, 不过人类必须要为最终的成果承担起责任。 句号。

理解才是证明的目的

被这道填空题留给每一个人的, 并不是一个数字, 而是一道根本问题: 你搞数学, 究竟是为了什么呢? 要是为的是将名字铭刻在定理之上, 那么这门买卖正愈发被AI削减利润。倘若求的是领会世界运转起来如此这般的缘故, 可那向来都为机器所无法胜任了事。

往回倒推整整一百年前出现的基础危机, 催生出了哥德尔、图灵以及冯· 诺依曼, 然而这危机却使得数学朝着更深层次迈进。就如同那句表述所言—— 我们并非是定理的制造机器 , 证明的目标在于达成理解。人工智能如今能够进行证明过程的产出了 , 然而对于理解这事而言 , 暂时还不存在任何一台机器能够替代人类予以完成。

以你的看法, 在AI时代当中, 数学家所具备的核心价值究竟是什么呢? 欢迎于评论区域留下话语展开探讨, 通过点赞以及分享使得更多的人能够看到！