菲尔兹奖数学家邓煜谈AI
在谈及《数学的黄金时代与数学家的失落时代》时，菲尔兹奖数学家邓煜朋友圈发文认为：“AI帮助数学家推进边界”的叙事，而非“AI代替数学家进行研究”
(1)AI是否会发展到探索数学前沿不再需要人类的程度。我认为不会，因为数学是无限的。
(2)假设有某种证明新定理的需求，那么是纯堆token，还是将 token分配给专业人士把控方向，何者更为经济。目前来看显然是后者，将来是否依然如此，取决于token的价格和数学前沿的推进，这里存在变数。
(3)AI生成的定理是否需要人类理解。若否，生成人类无法理解的证明有何意义(实用或精神层面)?若有，则理解的部分是否存在专业门槛?注意这件事不依赖于AI生成证明的presentation水平如何。
(4)有这样一个简单的dichotomy:如果AI证明人类难以理解，则进展体现为理解和应用，在这里显然专业人士是不可替代的;如果AI证明人类容易理解,则进展体现为在理解基础上的创新,这里同样能看到专业训练的价值。
(5)当然以上需要数学界向公众(或政府或其它资助机构)明确传达。重要的是“AI帮助数学家推进边界”的叙事，而非“AI代替数学家进行研究”。在AI水平飞速进化的时候要明确传达这点是个挑战，好在社会层面的改变不会这么快，所以我们还有足够的时间去找到新的平衡点。