OpenAI公布三项AI生成的基础科学研究结果，邀请学界核验

OpenAI于10月26日宣布，其内部模型生成了三项基础科学研究结果，并尝试以不同方式交由学界审查。数学方面，公司称模型证明了任意维度的局部平滑猜想；若论证成立，还将涉及Kakeya猜想及斯坦因限制猜想。该结果的自然语言稿和Lean形式化证明已公开。 计算机科学方面，OpenAI称模型反驳了广泛用于推导计算难度的“指数时间假说”，并发布了证明材料。由该假说提出者之一Russell Impagliazzo等专家牵头的团队，将组织公开检验和解读。这项主张不等于解决了“P是否等于NP”问题。 物理学方面，公司称模型提出了四维量子色动力学等理论的严格存在性证明，其中包含纯杨—米尔斯理论的存在性论证。David Gross牵头的团队将先研究和整理材料，目前尚未公开AI生成的物理学原稿。OpenAI表示，这些稿件更应被视为有待转化为科学理解的原始研究材料；外部参与者独立、无偿开展工作，公司不寻求相关发现的学术署名。