OpenAI称其模型产出三项数学、计算机科学与物理研究成果
2026年10月26日,OpenAI宣布其内部模型在数学、计算机科学和物理领域产出三项研究成果,其中包括对计算复杂性理论中长期存在的指数时间假设(ETH)的反证。数学方面,模型给出任意维度局部光滑猜想的证明,并由此解决Kakeya猜想与Stein限制猜想,10月18日得到输出、次日完成Lean形式化。计算机科学结果由Russell Impagliazzo、Ramamohan Paturi与Ryan Williams领衔的小组验证,OpenAI同意公开全部原始数据并资助相关会议;物理结果给出四维含规范场与费米子相互作用量子场论的严格存在性证明,并包含纯Yang–Mills存在性证明,由David Gross牵头的小组决定暂不公开AI产出材料、自行撰写成果。10月28日,隶属于普林斯顿高等研究院、由九名数学家组成的AGMAI呼吁OpenAI立即公开Yang-Mills、量子色动力学及标准模型完备性证明的自然语言与Lean产出,反对AI公司自行挑选首批审阅者。
匹配字段标题