OpenAI宣布三项科学新成果 数学与计算机成果通过Lean验证

来源：金融界

观点网讯：当地时间10月26日，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项新成果，分别涉及调和分析、复杂性理论和量子场论。

数学领域，OpenAI称其模型证明了适用于所有维度的局部平滑猜想，并由此解决Kakeya猜想与Stein限制猜想。局部平滑猜想研究波浪等现象的能量集中能持续多久；Kakeya猜想研究一根针在有限空间内转向所有方向所需的最小空间；Stein限制猜想则指向复杂波动规律的数学问题。

计算机科学领域，OpenAI称其模型推翻了长期被广泛接受的指数时间假设。该假设认为，某些复杂计算问题无法避免计算量随规模急剧增长。

物理学领域，OpenAI称其模型给出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。量子色动力学解释夸克如何结合形成质子、中子等粒子，杨–米尔斯理论描述基本粒子之间的作用力。

OpenAI表示，数学和计算机科学成果已通过Lean数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。

免责声明：本文内容与数据由观点根据公开信息整理，不构成投资建议，使用前请核实。