OpenAI称AI模型取得三项科学突破,涵盖数学猜想与千禧年难题
摘要
OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项突破:证明局部光滑猜想并解决挂谷猜想、推翻指数时间假设、提出杨–米尔斯理论存在性证明。数学与算法成果已通过Lean形式化验证,物理学成果正由诺奖得主等专家审查,仍需学术界独立确认。
OpenAI于10月27日对外披露,其AI模型在数学、计算机科学与物理学三个方向同时取得进展,显示出模型具备独立发现并证明复杂科学理论的能力,而非仅停留在回答问题或辅助研究的层面。
数学方面的成果集中在调和分析领域。1991年数学家克里斯托弗·索格提出局部光滑猜想,用于描述波在聚焦时的行为:即便出现极强聚焦,持续时间也极为短暂,随机时刻观察到的聚焦程度远低于最极端情形。OpenAI称,其模型证明了适用于所有维度的局部光滑猜想,并由此解决了该猜想与挂谷猜想。
计算机科学方向上,模型推翻了长期被广泛接受的指数时间假设,这一结果意味着未来有可能找到速度更快的算法。物理学方向上,模型针对量子色动力学及杨–米尔斯理论提出了严格的数学存在性证明,后者涉及世界七大千禧年数学难题之一。
OpenAI表示,数学与计算机科学成果已通过Lean数学验证工具完成形式化验证,证明材料同步公开;物理学成果正由诺贝尔物理学奖得主等专家参与审查。上述成果仍需学术界进一步独立确认。
三项成果若获学界认可,将意味着AI在基础科学发现链条中的角色从辅助工具向独立证明者延伸,但其最终有效性仍取决于后续的同行评审与复现。
本文由新大陆基于公开信息编辑整理
信息来源:IT之家 IT之家原文 ↗