数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口

当AI能比人类更快、更准地证明数学定理，我们的数学研究，甚至整个数学体系，到底该往哪走？可能很多朋友觉得，数学离我们很远，但是这件事的本质，是AI正在挑战人类最核心的知识生产与传承的逻辑。几天前，陶哲轩在未来数学研讨会（Future of Mathematics Symposium）上做了一场 keynote 演讲，核心内容直指当下AI辅助数学研究的核心矛盾，而这场分享，也让我们第一次清晰看到，数学，这个几千年来几乎没怎么变过的学科，正站在一场不得不改的变革前夜。
https://youtu.be/Uc2zt198U_U?si=p1SWBGecCq93mL6N
原视频来自：https://youtu.be/z8t6WOY8lc4
聊天讨论群，可加微信gxjdian入群，需备注，来自播客AI前沿