陶哲轩的小女儿采访邓煜谈AI，数学家的未来真不好说！

数学大神陶哲轩有两个孩子，一个是女儿，另一个可能也是女儿，近日他的真女儿Maddy Tao采访了新晋菲尔兹奖得主邓煜，谈到了人工智能AI对数学家的影响。

邓煜分享了亲身遇到的例子，自己用了五天时间写了四页纸的证明，被AI大模型用一小时写的更简洁的一页纸证明打败了。

其实，顶级数学家非常清楚AI对数学的巨大冲击和深远影响，陶哲轩就是其中之一，他应该是当前顶级数学家里最积极拥抱AI的了，他正在积极推进将Lean4应用于数学研究。

除此以外，今年的新晋菲尔兹奖得主雅各布·齐默曼（Jacob Tsimerman）在获奖当天就宣布加入OpenAI，转向AI安全研究，而且雅各布·齐默曼很不看好数学家面对AI的冲击。

我想，2026年的菲尔兹奖，很可能是最后一届纯人类获奖了，四年后即2030年的菲尔兹奖，得奖的成果大概会是人和AI一起完成。

2030年不行，AI多等4年，2034年又如何，人类还是跑不掉最后一块高地——数学——被替代的命运！