【AI攻克人类难题，创始人兴奋之后为何失落】
AI几小时解出数学家耗数年甚至数十年攻不下的难题，创始人兴奋是真的——人类难题被攻克了。但兴奋之后是失落，原因不在“机器赢了”，而在数学的意义被抽走了：数学不只是得到真命题，更是人类理解“为何为真”的路径。
菲尔兹奖得主迪米尼-科潘看到自己研究领域被AI批量覆盖后痛哭，称“我的研究领域被抹掉了”。逻辑学家摩尔为一道题买了瓶酒，等了19年准备庆祝，结果机器先解出来——他说等同行验证完再开瓶，那更像“葬礼而非庆典”。
更麻烦的是看不懂。MIT教授读AI对纳维-斯托克斯方程的证明，翻两页就承认“大概是对的，但我根本看不懂”。OpenAI每个结果平均只用约相当于ChatGPT Pro三小时的算力，人类要理解它可能需要数月。真理降临了，用的却是人类难以消化的语言。
菲尔兹奖得主高尔斯担心：当AI能直接产出深奥结果，还有多少人愿意花数年积累去读懂推导？数学训练中走死胡同、调整假设、豁然开朗的过程，恰恰是培养下一代数学家的土壤。AI把土壤铲走了。
兴奋是真的，失落也是真的——人类数学家从“探索者”变成了“旁观者”，甚至“看不懂的验收员”。（附图摘编今日头条自媒体号）