OpenAI模型产出三项数学成果 覆盖调和分析与量子场论
摘要
OpenAI宣布其模型在调和分析、复杂度理论和量子场论三个方向取得数学成果,包括证明各维度local smoothing猜想并由此解决Kakeya猜想与Stein限制猜想、在Lean中验证ETH为假,以及给出QCD与纯Yang–Mills理论的严格存在性证明,相关成果与学界协作发布。
OpenAI对外公布,其模型在数学研究中产出三项成果,分别落在调和分析、复杂度理论与量子场论三个方向。这批工作由模型参与完成,并与学界协作发布。
在调和分析方向,模型证明了各维度的local smoothing猜想。该结论进一步解决了Kakeya猜想与Stein限制猜想,这两项长期悬置的问题由此获得新的推进路径。
复杂度理论方面的成果是在Lean中完成验证,确认ETH(指数时间假设)为假。量子场论方向,模型给出了QCD与纯Yang–Mills理论的严格存在性证明。
三项成果横跨分析、计算复杂度与物理三个领域,且均以形式化或严格证明的形式呈现。OpenAI表示,相关结果已与学界协作发布,具体细节有待进一步披露。
本文由新大陆基于公开信息编辑整理
信息来源:AIHOT AIHOT原文 ↗