OpenAI宣布破解数理计算三大难题，引发学术界验证规则争议

继10月初集中发布数百篇声称解决长期数学难题的手稿后，当地时间2026年10月27日，人工智能研究公司OpenAI再次宣布，其模型在数学、计算机科学和物理学三大领域取得了“重大科学发现”。据科技媒体The Verge报道，该公司此次公布的成果包括：在数学上声称给出了任意维度局部平滑猜想的证明，并借此解决了挂谷猜想与施泰因限制性猜想（几个月前纽约大学教授王宏刚因解决三维挂谷猜想获得菲尔兹奖）；在计算机科学领域，声称推翻了学界长期普遍认可的“指数时间假设”，给出了一个次指数时间的确定性算法；在物理学领域，声称给出了四维时空下包含规范场和费米子的特定相互作用量子场论在数学上的严格存在性证明。

不同于此前直接对外抛出海量原始材料，该公司这次拉来了多位学术界顶尖学者协助牵头：物理学方面由戴维·格罗斯领衔的专家组跟进；计算机科学方面，当年在1999年共同提出指数时间假设的加利福尼亚大学圣迭戈分校学者拉塞尔·因帕利亚佐与拉马莫汉·帕图里，联手麻省理工学院教授瑞安·威廉姆斯组成独立工作组，已在代码托管平台GitHub上公开了论文输出与基于证明助手软件Lean的形式化证明代码。

但这套由商业人工智能公司指定少数顶尖学者先行审阅的模式，迅速引发了学术伦理争议。该公司自行组建的数学顾问委员会已明确提出批评，建议人工智能机构不要采取向特定少数学者优先提供成果的做法，指出这容易造成资源获取不平等、借学术权威名声背书以及筛选偏见等问题，呼吁未来应直接公开在学术仓储平台，并规范成果验证与资金支持机制。计算机科学工作组也发布公开信，呼吁学界讨论成果的早期访问权、署名认定，以及科研人员如何在技术巨变中保持独立判断力。

从社区角度来看，这标志着人工智能正把学术界逼入一个全新的审视阶段：过去是学者苦思冥想多年写出论文，同行评审挑错；现在是大模型突然喷涌出海量高深论证甚至形式化代码，顶尖学者反倒成了给人工智能跑验证、写注释的“把关人”。更关键的是，如果商业巨头习惯性用“指定学界名流背书加私域首发”的方式发布科学突破，不仅容易破坏学术界的开放平权传统，也会让同行评审变成某种公关背书流程。人工智能赋能科研固然让人兴奋，但规则若被商业公司牵着鼻子走，学界的独立性恐怕会遭遇不小的考验。