OpenAI 宣布,其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破,展现出独立发现并证明复杂科学理论的能力。
数学方面,模型证明了适用于所有维度的局部光滑猜想,并由此解决挂谷猜想;计算机科学方面,它推翻了长期被广泛接受的指数时间假设;物理学方面,它提出了量子色动力学及杨–米尔斯理论的严格数学存在性证明,涉及七大千禧年数学难题之一。
数学和计算机科学成果已通过 Lean 数学验证工具完成形式化验证,证明材料已发布在公开的 GitHub 代码仓库;物理学成果正由诺贝尔物理学奖得主大卫·格罗斯领衔的专家团队参与审查。
OpenAI 表示,上述成果仍需学术界进一步独立确认,相关突破或推动更高效算法的研究。
推广
评论
正在加载评论…