OpenAI称AI推翻“指数时间假设”并证明Kakeya等猜想：Lean形式化证明已公开，由外部专家组审核
· 来源：OpenAI / The Verge
OpenAI一次公布数学、计算机科学和物理三项AI发现，其中指数时间假设被证伪的结论若成立，将撼动计算复杂性理论的大量基础。
OpenAI于10月26日宣布，其内部模型在数学、计算机科学和物理三个领域取得新发现，并首次尝试邀请外部专家担任“牧羊人”，组织学术界消化这些成果。
最受关注的是计算机科学结果：论文《The Exponential Time Hypothesis is False》给出一个确定性算法，可在亚指数时间和多项式空间内精确计数固定宽度CNF公式的可满足赋值，其3-SAT情形直接推翻了被广泛相信的指数时间假设（ETH）。OpenAI称模型在10月16日找到这一证明，次日用Lean完成形式化验证。应由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams领导的独立工作组要求，自然语言证明和Lean代码已直接公开在GitHub上，供任何人检验。ETH是大量计算复杂性论文的前提假设，若结论经得起审查，影响将非常深远。
数学方面，模型证明了Sogge于1991年提出的局部光滑猜想在所有维度（二维及以上）成立，并由此推出Kakeya极大与维数猜想以及Stein球面限制估计，OpenAI直接发布了模型原始输出。物理方面则是包含规范场和费米子的四维相互作用量子场论（包括量子色动力学QCD）的数学严格存在性证明，由David Gross牵头的专家组负责，相关材料暂不公开。
OpenAI表示不为模型的发现寻求学术署名，参与者无需签保密协议、可自由发表结论。不过其数学顾问小组前一天刚建议AI公司不要采用“指定少数人优先获得成果”的做法，认为会造成信息不对等。这些结论目前仍有待同行的独立审核。