OpenAI宣布在多项数学与物理难题取得进展

发生了什么

OpenAI于10月26日宣布，其内部模型在数学、计算机科学及物理学领域取得三项进展。在数学方面，模型证明了所有维度下的挂谷猜想；在计算机科学方面，模型推翻了指数时间假设（ETH）；在物理学方面，模型对杨—米尔斯理论的存在性给出了数学证明。OpenAI表示，挂谷猜想与ETH的相关成果及Lean证明已公开，杨—米尔斯理论的物理材料则由专家组进行验证。目前，上述成果均处于待同行评审阶段，OpenAI已邀请相关领域专家参与核查。