OpenAI最新声称,其AI模型已彻底推翻理论计算机科学基石——指数时间假设(ETH)。该假设虽未被严格证明,但长期作为衡量非多项式时间复杂度的直观参照,尤其用于界定3-SAT等问题的求解难度。若此宣称属实,现有认知框架将面临重构。

除ETH外,OpenAI还宣布在数学与物理领域取得两项重大突破。在数学方面,其通过发现一种名为“局部平滑猜想”的新证明方法,解决了波动和谐波研究中的“Kakeya猜想”,且该证明适用于所有维度。在物理方面,OpenAI称已证明“包含规范场和费米子的四维相互作用量子场论”,涵盖了量子色动力学(QCD)及粒子物理学标准模型的统一完备形式。

发布策略与社区争议

本月初,OpenAI在GitHub发布了377个由模型生成的数学结果。配套博客文章流露出防御性姿态,强调旨在“赋予科学家最先进能力”并“负责任地发布模型”。此举意在回应此前顾问团体的公开反对,后者批评私营公司利用未公开内部AI模型获取突破性成果。

为缓解争议,OpenAI承诺不寻求对这些AI生成发现的学术认可,并计划将成果及其归属分散至数学和物理社区。公司将AI生成的文本定义为“原始研究数据”,认为科学界的职责是将其转化为科学理解。然而,这种分配模式被指可能加剧信息不对称,甚至被比喻为电影《疯狂的麦克斯:狂暴之路》中垄断资源的场景。

验证挑战与后续计划

OpenAI表示,这些数学结果已通过证明辅助工具Lean进行形式化验证。但过度依赖Lean曾引发质疑:研究人员此前发现,在纳维-斯托克斯千禧年问题的验证中,Lean所确认的断言比最初发布的内容更为薄弱。

面对验证与转化的挑战,OpenAI正联系包括模型训练数据来源学者在内的外部专家,希望他们担任“牧羊人”,组建团队将AI输出转化为人类新知识。公司承认,选择初始专家必然影响首批参与者并造成信息不对称。目前,部分原始数据已上传至GitHub,但物理项目团队决定暂不发布AI生成产物,而是由内部人员自行撰写相关报告。