AI时代的数学危机 | 陶哲轩ICM 2026演讲 | 哥德尔不完备定理 | 古德哈特定律

2026年国际数学家大会上，陶哲轩发表公开演讲《数学在AI时代》，提出数学界正面临一场类似20世纪初基础危机的新动荡，这次需要重审的是数学的价值根基与实践方式。他以AI能力猜想为工作假设，逐层剖析数学成果从解决问题到成为经典理论的完整链路，揭示AI在证明生成、验证环节加速的同时，也带来无人能看懂的证明、写作过度丝滑掩盖核心思想、证明过剩导致消化不良等深层问题。结合莱顿宣言，他呼吁数学界降低抢先解题权重，提升证明阐述与经典化价值，公开AI使用，并要求作者必须能就成果做专家级报告。解题只是切口，AI还将深刻影响教学、招聘与同行评审体系。
https://www.youtube.com/watch?v=sxAe4HJceFQhttps://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
原视频来自：https://youtu.be/khSatrY-p9s
聊天讨论群，可加微信gxjdian入群，需备注，来自播客AI前沿