OpenAI AI实现跨学科三重突破，挑战经典理论基石

10月27日，OpenAI对外披露其人工智能系统在数学、计算机科学及物理学三大核心领域取得里程碑式进展。在数学层面，该模型首次完成适用于任意维度的局部光滑猜想证明，并由此顺带解决挂谷猜想；在计算复杂性理论中，系统推翻了被广泛信奉的指数时间假设（ETH），揭示出存在更高效算法的可能性；在理论物理方面，其提出对量子色动力学与杨–米尔斯理论严格数学存在性的全新论证，触及千禧年大奖难题之一。

形式化验证完成，学术界启动多维审查机制

相关数学与计算机科学成果已通过知名Lean形式化验证系统完成严格校验，并向公众开放全部证明文档。与此同时，物理学方向的结论正由诺贝尔物理学奖得主等权威专家组成评审小组进行独立评估，确保其逻辑严密性与理论自洽性。

指数时间假设被推翻，算法效率前景迎来重构

指数时间假设长期以来被视为计算复杂性领域的基础共识，尤其关联布尔可满足性问题的内在难度边界。OpenAI于10月16日生成自然语言版本的反证论证，次日即完成基于Lean系统的完整形式化演绎，标志着该假设从理论前提走向历史档案。后续工作已转向建立跨机构协作框架，以推动成果在学术圈内的深度整合与应用探索。