OpenAI于10月27日宣布,其AI模型在数学、计算机科学和物理学三个领域取得重大突破,展现出独立发现并证明复杂科学理论的能力,而不仅仅是回答问题或辅助研究。

在数学领域,该AI证明了适用于所有维度的局部平滑猜想,该猜想研究波浪等现象中能量集中能持续多久。由此,它进一步解决了Kakeya猜想(研究一根针在有限空间内转向所有方向所需的最小空间)和Stein限制猜想(涉及复杂波动规律的数学问题)。

在计算机科学领域,AI推翻了长期被广泛接受的指数时间假设。该假设认为某些复杂计算问题无法避免计算量随规模急剧增长,推翻它意味着未来可能找到速度更快的算法。

在物理学领域,AI为量子色动力学(解释夸克如何结合形成质子、中子等粒子的理论)及杨–米尔斯理论(描述基本粒子之间作用力的数学理论)提出了严格的数学存在性证明,后者涉及世界七大千禧年数学难题之一。

OpenAI表示,数学和计算机科学成果已通过Lean数学验证工具进行形式化验证,并公开了证明材料;物理学成果正由诺贝尔物理学奖得主等专家参与审查。相关成果仍需学术界进一步独立确认。

这一宣布若获证实,将标志着AI在科学发现中的角色从辅助工具向独立研究者的转变,可能对数学、计算机科学和物理学的基础研究产生深远影响。同时,这也引发了关于AI生成证明的可靠性、可验证性以及学术界如何接纳AI贡献的讨论。目前,学界对上述成果的独立验证仍在进行中。