发布日期

OpenAI 称三项科学发现并试行学术社区 shepherd:谐波分析、ETH、量子场论

OpenAI 宣布由内部模型产出、涉及谐波分析(局部光滑/Kakeya)、复杂性理论(称证伪指数时间假设 ETH)与量子场论(含 QCD 等存在性)的三项结果,并按外部专家建议采用三种不同公开策略;称 CS 结果已公开自然语言证明与 Lean 形式化至 GitHub,物理合作组暂缓公开 AI 产物。文中原则包括透明、不求学术署名、自愿无偿独立参与。上述发现均为 OpenAI 主张,独立核验与学术共同体审读仍在进行。

黄到粉渐变背景居中三行白色英文标题
OpenAI 官方分享卡:黄粉渐变底上白字「Working with academic communities to build scientific understanding」。图源:该文 og:image

OpenAI 发文称宣布数学、计算机科学与物理学上的三项新发现,主题分别为谐波分析、复杂性理论与量子场论,并将手稿视为「原始研究数据」,实验让外部专家担任 shepherd、组织工作组把结果转化为科学理解。三组策略不同:数学结果直接公开 AI 产出,由学界自行组织解释;计算机科学结果在公开 AI 产出的同时组建外部合作组解释;物理学结果组建外部合作组并由其决定材料何时公开。合作原则包括:透明(不签 NDA、可讨论与发表结论)、不寻求对内部模型发现的学术署名、承认工作组对理解与文稿的贡献、参与自愿无偿且结论独立。

数学方面,OpenAI 称模型给出任意维局部光滑猜想(Sogge 1991)的证明,从而也在所有维数上解决 Kakeya 猜想与 Stein 限制猜想,方法基于新型辅助偏微分方程;称 AI 自然语言稿于 2026-10-18 产出,次日 Lean 形式化,并已把自然语言稿与 Lean 证明放到公开 GitHub。计算机科学方面,称系统证明长期被广泛采信的指数时间假设(ETH)为假,并已 Lean 验证;将由 Russell Impagliazzo、Ramamohan Paturi(UCSD)与 Ryan Williams(MIT)领衔工作组核查解释,且按组方要求公开全部原始数据并承诺资助相关会议;称自然语言反证于 2026-10-16、Lean 于 2026-10-17,同样已公开。物理方面,称给出含规范场与费米子的若干四维相互作用量子场论(含 QCD 与标准模型的一种统一完备)的数学严格存在性证明,并含纯杨–Mills 存在性子问题(与 Clay 千禧年问题相关);David Gross 将领衔含 Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 等的工作组;杨–Mills 自然语言证明称 2026-09-09、QCD 2026-09-18,杨–Mills Lean 完成于 2026-10-16,物理组决定暂缓公开 AI 产物、自行撰写。文中还提及近期向 Simons Foundation 捐助 $5 million以支持相关研讨。以上均为 OpenAI 声明,独立验证仍在进行,读者应按 publisher_claim 阅读。

来源

  1. Working with academic communities to build scientific understanding — OpenAI

专题:OpenAI

相关报道

在 ? 中打开这篇 →