ICM 2026 圆桌：AlphaProof 后数学家还剩下什么

dl_weekly · x · 2026-09-11

Quanta Magazine 在 2026 年 7 月费城国际数学家大会（ICM）录制特别节目《The Joy of Why》，主持人 Janna Levin 与 Steven Strogatz 对话三位数学家：IAS 的 Akshay Venkatesh、斯坦福的美国数学会主席 Ravi Vakil、罗格斯大学的 Alex Kontorovich。讨论围绕近期 AI 生成证明（如 AlphaProof 的奥赛成绩）真正说明了什么、数学前沿日益机器辅助将带来什么得失、以及研究生训练问题逐渐被 AI 解决后下一代数学家何去何从。核心问题是：当机器在解题上追平甚至超越人类，数学中属于人的创造性部分还有什么价值。