陶哲轩
2026-09-09 10:28:47陶哲轩谈 AI 进入数学研究:像直升机把人送到答案附近
在一场公开对谈中,数学家陶哲轩表示,AI 已开始真正进入顶尖数学家的研究工作流,不再只是查资料或写代码,还在参与研究级数学证明。他以「AI 像直升机,把人空投到答案附近」形容这种变化,同时强调数学的价值不只在于得到答案,更在于理解、解释和把证明纳入人类知识体系。对谈还提到 GPT-5.2 Pro、Aristotle、Lean,以及 AI 在 Sendov 猜想和平面单位距离问题上的最新进展。
160


