ChatGPT一小时破解博士级数学难题,其原创能力已进化
近期,人工智能在数学研究领域取得了一项突破性进展。剑桥大学菲尔兹奖得主 Timothy Gowers 教授在其个人博客中披露,他使用一款尚未公开的 ChatGPT 5.5 Pro 模型,在一个小时内解决了一个困扰数学界已久的组合数学难题。
这一事件打破了学界长期以来对大型语言模型在处理高深数学问题上的疑虑。过去,人们普遍认为 AI 更多是进行“背书”式回答,即依赖检索已知文献或模仿既有推导。然而,Gowers 教授的测试表明,这款内部测试阶段的模型不仅能识别出人类专家都可能忽视的精简论证,更能独立构建出缺乏现成理论支撑的原创性证明逻辑。
加性数论难题实现跨越式突破
此次被攻克的难题源于数学家 Mel Nathanson 提出的关于“和集直径上界估计”的问题。此前,麻省理工学院的 Isaac Rajagopal 曾证明该上界呈指数级增长。但在 Gowers 教授的引导下,ChatGPT 5.5 Pro 展现出惊人的自我优化能力。模型在初次尝试中仅用 16 分钟便初步改进了上界数据。随后,它表现出对“多项式界”存在的强烈判断,并自主识别并验证了几个关键的技术性命题。最终,在约一个小时的自主思考与修正后,模型完成了一份完整的证明。 Isaac Rajagopal 在审阅后评价,这份证明不仅逻辑严谨,其核心思想更是“原创且巧妙”,其难度足以让任何一位人类数学家花费数周时间才能得出。
AI 驱动的科研模式挑战学术伦理边界
AI 展现出的“博士级”原创研究能力,无疑将学术规范和教育体系推向了新的挑战。Gowers 教授指出,这些 AI 生成的成果在质量上完全达到了顶级期刊的发表标准,但现有学术体系对此尚无明确的接收机制。例如,预印本平台 arXiv 已明确拒绝接收 AI 撰写的内容,这可能导致这些重要的科学突破面临传播上的困境。
此外,AI 在研究领域的深入应用,也对数学教育的未来提出了重新定义的命题。曾经被视为培养博士生能力的“试金石”——解决中等难度开放性问题,现在已被 AI 在短时间内攻克。这迫使人类学者需要探索更深层次、更具挑战性的课题。当基础性研究任务被 AI 承担后,人类数学家的核心价值将体现在何处,这不仅是一场技术革新,更是对人类智慧本质的一次深刻拷问。
AI 在数学领域的原创性突破,标志着其已从辅助工具演变为具备独立研究能力的伙伴。ChatGPT 5.5 Pro 在短时间内攻克复杂数学难题的表现,预示着未来科研模式可能发生颠覆性变化,同时也带来了关于知识产权、学术诚信以及人类与AI协同工作的深刻议题,值得持续关注和探讨。