陶哲轩女儿 Maddy Tao 对话新科菲尔兹奖得主邓煜：AI 会取代数学家吗？

邓煜讲了自己第一次把 AI 塞进科研的经历——一条引理人工推 5 天 4 页，GPT 一小时甩出 1 页证明，他直呼震撼；但细看发现 AI 只解了特殊case、推不到一般情形，论文里没用。

他的判断很干脆：AI 现在能替你跑繁琐引理、查文献、验细节，但提问题、搭框架、做推广还得靠人。以后理想状态是「数学家定方向拆引理，AI 填底层证明」——不是下岗，是换工种。

数学几百年都是踩着前人肩膀往前跳，将来不过是多踩一层 AI 肩膀。真正被淘汰的，不是数学家，是只会死算不想问题的人。

#微博二创视频创作季##专访菲尔兹奖得主邓煜# http://t.cn/AXNrauQv