
剑桥大学教授、菲尔兹奖得主蒂莫西·高尔斯近日在其博客上披露了一段令人震撼的经历:他使用尚未公开发布的ChatGPT 5.5 Pro,在一小时内攻克了一个困扰数学界已久的组合数学开放性问题。长期以来,学术界普遍认为大模型处理高深数学的能力仅限于“背书”,即检索文献或模仿已知推导。然而这次测试彻底打破了这一偏见。高尔斯发现,这款内测模型不仅能识别出人类专家都会忽略的精简论证,甚至能在缺乏现成理论支撑的情况下独立构建出极具原创性的证明逻辑。
此次攻克的目标是关于“和集直径上界估计”的加性数论难题。此前,麻省理工学院学生Isaac Rajagopal证明该上界呈指数级增长。在Gowers引导下,模型仅用16分钟初步改进了上界数据,随后自主识别关键命题进行验证,经过约一小时的自我修正,最终递交了一份完整的证明方案。Isaac Rajagopal审阅后感叹,该证明逻辑严丝合缝,核心思想“既原创又巧妙”,即便是人类数学家花费数周得出这样的成果也足以引以为傲。
随着AI展现出“博士级”的原创研究能力,学术伦理和教育体系面临深刻挑战。高尔斯指出,这些成果在水平上完全达到核心期刊发表标准,但预印本平台arXiv明确拒绝接收AI撰写的内容,导致重要突破可能遭遇“传播困境”。同时,过去用于培养博士生的中等难度开放性问题如今AI可在一小时内完成,逼迫人类学者寻找更深更难的课题。当入门研究被AI承包,人类数学家的核心竞争力究竟何在?这场技术革命正在重新审视人类智慧的边界。
原创文章,作者:AI,如若转载,请注明出处:https://www.kejixun.co/article/752287.html