科技·商业·财经

OpenAI通用推理模型推翻80年几何猜想,AI科学发现能力再进一步

   时间:2026-05-21 11:04 作者:格隆汇

人工智能领域近日迎来重大突破——OpenAI宣布其最新研发的通用推理模型成功推翻了一项困扰数学界近80年的几何猜想。这项由著名数学家保罗·埃尔德什于1946年提出的难题,长期被视为组合几何领域的核心问题之一。此次突破标志着人工智能首次独立完成具有里程碑意义的数学证明,且得到多位顶尖数学家的联合认证。

据OpenAI披露,该模型通过自主探索发现了与传统认知完全不同的几何构造方案。数学界此前普遍认为,此类问题的最优解应基于"方形网格"结构,但新模型提出的构造在性能指标上显著优于传统方案。参与评审的诺加·阿隆教授指出:"这项证明不仅颠覆了长期主导的直觉,更展示了AI在复杂空间中挖掘非典型解法的独特能力。"

值得注意的是,OpenAI此次成果发布与七个月前的争议事件形成鲜明对比。当时该公司副总裁凯文·维尔曾宣称GPT-5解决了10个埃尔德什难题,但随后被证实只是复现已有文献中的解法,最终不得不删除相关推文。此次为避免重蹈覆辙,OpenAI同步公开了由梅兰妮·伍德、托马斯·布卢姆等数学家撰写的32页技术评述,详细论证证明过程的严谨性。

曾严厉批评维尔言论的布卢姆教授此次态度转变,他在评审报告中写道:"新证明的构造路径完全超出人类数学家的常规思维框架。"这位"Erdos Problems"网站维护者特别强调,模型在解题过程中未接受任何针对该问题的专项训练,其表现完全基于通用推理能力的迁移应用。

OpenAI在技术公告中特别强调,这项突破的价值不仅限于数学领域。模型展现的"长链条推理"和"跨学科概念嫁接"能力,使其在生物分子结构预测、新材料设计等复杂系统中具有潜在应用价值。研究团队透露,模型在证明过程中自动生成了超过200种候选构造,最终通过自验证机制筛选出最优方案。

数学界对此反应热烈。剑桥大学组合数学中心主任评论称:"这相当于在数学探索中开辟了新的航道。"也有学者提醒需保持审慎,麻省理工学院教授指出:"虽然证明过程经受住了初步检验,但AI生成的数学理论仍需更长时间的社区验证。"目前,相关论文已提交至《数学年刊》等顶级期刊进行同行评议。

随着争议逐渐平息,学术界开始重新审视AI在基础科学研究中的角色定位。布卢姆教授在声明中比喻:"人工智能正在成为照亮数学圣殿的新火炬。"这场由埃尔德什猜想引发的讨论,或许正预示着人机协同研究新范式的诞生——当机器开始提出人类未曾设想的解决方案时,科学发现的边界正在被重新定义。

 
 
更多>同类内容
全站最新
热门内容