AI破解数学难题后数学家还剩什么

继知名数学家陶哲轩公开批评OpenAI后，近期另一位新晋菲尔茨奖得主邓煜也炮轰OpenAI——不能你蒸馏了全世界，不让别人来蒸馏你。

最近网上一直流传一个灵魂拷问：现在的AI越来越凶，曾经卡了人类数学家百年的世界难题，AI几十个小时就能搞定。不少人开始慌了：照这个架势，以后公式推导、难题证明全靠AI，那寒窗苦读、深耕数十年的数学家，是不是直接没得活路、要下岗失业了？

近几年，人工智能正在掀起数学界的一场巨变。曾经困扰人类数十年、甚至上百年的世界级数学难题，正被AI快速攻破、高效求证、精准推演。从复杂的数论猜想，到高维几何难题，AI的解题速度、计算精度、逻辑推演能力，早已超越绝大多数普通研究者。