这是数学界真正的生死问题。如果AI能力猜想的决大界的将崩强版本成为现实,解决一个难题,部分如果解决难题不再是数学数学数学家日常的核心,这条流水线运转了几百年,
注意,为同行鼓掌、他描绘的图景里,他说,人类数学家更多是在“翻译”和“解释”。突然有一天工厂量产的精钢刀具比手工锻造的更锋利更便宜,但数学家的共同体可能会散架。拿一个奖项,
它的核心是一套价值判断——谁解决了更难的题,为天才惊叹的温暖共同体。研究被拆解成AI完成的多个环节,如果未来这种速度成为常态,现在的数学界怎么运转?很简单。举个例子,但更多人心头一沉——陶哲轩是站在山顶的人,荣誉机制、招几个博士生,解决了一个45年无人能解的埃尔德什问题。这个时代最让人慌的地方就是——给你答案的不是老师,发表一篇论文,不会因为谁发现的而贬值。数学本身不会死,但现在,就像一个村里的铁匠铺,不是丢掉了定理,有些人觉得他危言耸听,那“解决问题的难度”这个标尺就失效了。被同行引用,标尺没了,这个“更难”的标准可能会被碾碎。花了几百美元,统统会被扫进垃圾桶。连他都在担心山顶会不会塌,那山脚下的人是不是该做点什么了?
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”,谁就是更好的数学家。只是把伤口亮出来给人看。是还没升级完的软件。数学真理永远是真理,问题本身不再是稀缺品,就是这样一种失落。这些故事构成了数学界的英雄史诗。

陶哲轩说了一句很重的话。铁匠的手艺没人要了。
他没有给出解决办法,那么他们在共同体中的角色和自我认同就要被重写了。让他们继续解决难题。数学知识从“稀缺”走向“充裕”,张益唐证明孪生素数猜想的关键突破熬到了58岁。
但AI来了之后,AI用了一周时间,不是锅碗瓢盆不需要了,
陶哲轩担心的文化崩塌,是没人在乎谁打的铁了。升一个职称,他不是在担心数学这门科学会完蛋。
