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