⌘ K
… 读取采集状态 同步中...
雷
原文
新智元· 新智元·· 2026-08-30精选AI 评分73

陶哲轩:100年后,数学再度大危机!

AI 导读

菲尔兹奖得主陶哲轩发布论文《AI时代的数学》,指出未来数学的瓶颈将从“产生证明”转向“消化证明”,AI生成证明的速度将远超人类验证和消化的速度。论文提出了“AI能力猜想”和“工作假设”,建议暂且接受AI能完成研究级数学任务的假设,转而追问“如果AI真能做数学,我们该怎么办”,并明确其立场:作者不能清晰讲解其成果就不该发表,即使形式化验证已通过。

推荐理由

文章梳理了陶哲轩将AI解数学分为五个阶段的思考,提出“证明消化不良”这一核心概念,为理解AI改变数学研究提供了清晰框架。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com