一个小时后，剑桥大学菲尔兹奖得主蒂莫西·高尔斯教授放下茶杯，盯着屏幕上的证明结果，愣住了——尚未公开发布的ChatGPT 5.5 Pro，竟然在不到一小时里，攻克了一个让数学界头疼多年的组合数学难题。这道题是关于“和集直径上界估计”的，听名字很绕，简单说就是数字集合的一种边界问题。之前麻省理工学生艾萨克·拉贾戈帕尔只证明了这个上界是指数增长的，但高尔斯让AI去试试能不能做得更好。结果AI只用了16分钟就把上界数据改进了，然后越战越勇，主动提出“说不定能降到多项式级别”，并自己找出了几个关键命题来验证。整整一小时后，AI交出了一份完整的证明方案，逻辑严密，核心思路“既原创又巧妙”——拉贾戈帕尔亲自看完后感叹，就算人类数学家冥思苦想几周，能拿出这么漂亮的证明也足够自豪了。这彻底打破了学界的旧认知：以前大家觉得大模型只是“背书机器”，靠查文献、模仿已知推导来忽悠人，但这次AI在缺乏现成理论支撑的情况下，独立构建出了全新的证明逻辑。一个更大的问题随之而来：AI写的论文算谁的？高尔斯指出，这样的成果完全够格登上顶级期刊，但现有学术体系根本没给它留位置——论文预印本平台arXiv明确拒绝接收AI写的内容，导致这些突破可能无法发表。更扎心的是，数学教育也要重新洗牌了。过去让博士生练手的“中等难度开放题”，现在AI一小时搞定，人类学者必须去寻找更深、更难的课题。当入门级研究被AI承包，人类数学家的核心竞争力到底在哪？这不是技术革命，而是对人类智慧边界的终极拷问。
