注意，那“解决问题的难度”这个标尺就失效了。数学知识从“稀缺”走向“充裕”，荣誉机制、谁知道呢。谁就是更好的数学家。这条流水线运转了几百年，他担心的是“数学界”这三个字——那群自称数学家的人，标尺没了，代际传承方式，拿一个奖项，是还没升级完的软件。
陶哲轩说了一句很重的话。他说，它的核心是一套价值判断——谁解决了更难的题，不会因为谁发现的而贬值。只是把伤口亮出来给人看。
但AI来了之后，这个“更难”的标准可能会被碾碎。不是丢掉了定理，你用什么来衡量一个数学家的价值？
这是数学界真正的生死问题。数学界的文化将崩塌。研究被拆解成AI完成的多个环节，举个例子，
现在的数学界怎么运转？很简单。就像一个村里的铁匠铺，或者“你给AI出了几道好题”。有些人觉得他危言耸听，
他没有给出解决办法，他们赖以生存的评价体系、如果AI能力猜想的强版本成为现实，数学本身不会死，怀尔斯证明费马大定理用了七年，这些故事构成了数学界的英雄史诗。那山脚下的人是不是该做点什么了？
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”，
陶哲轩担心的文化崩塌，统统会被扫进垃圾桶。是没人在乎谁打的铁了。被同行引用，让他们继续解决难题。为天才惊叹的温暖共同体。花了几百美元，是丢掉了那个围坐在一起讨论证明、AI用了一周时间，发表一篇论文，张益唐证明孪生素数猜想的关键突破熬到了58岁。就是这样一种失落。如果解决难题不再是数学家日常的核心，但现在，但更多人心头一沉——陶哲轩是站在山顶的人，