01
想象这样一个场景：
一台超级计算机在短短几分钟内，吐出了一份长达十万行、经过形式化验证系统100%确认毫无逻辑漏洞的数学证明。
它毫无疑问攻克了困扰人类半个世纪的数学皇冠级难题。
然而，全世界没有一个活着的人类能看懂它在写什么。
就连给AI下提示词（Prompt）的那位数学家，也一脸茫然。
这道题，究竟算不算被人类解决了？
当所有人还在争论“AI到底能不能做高等数学”的时候，当世公认最聪明的数学家、菲尔兹奖得主陶哲轩（Terence Tao），直接向整个科学界投下了一枚震撼弹。
▲ 陶哲轩提交至 ICM 2026 会议录的长文《AI 时代的数学》在 arXiv 上线
在费城举行的国际数学家大会（ICM 2026）上，陶哲轩发表了题为《AI时代的数学》（Mathematics in the Age of AI）的重量级演讲，随后将讲稿整理为长文上传至 arXiv。
他没有陷入“AI几年内能赶超人类”的口水战，而是直接抛出一个颠覆性的预言：
数学界正在迎来一场可与百年前罗素悖论、哥德尔不完全性定理相提并论的“大动荡”。
这一次，危机恰恰源自AI即将成功！
0
评论 (0)