搜索
OpenAI宣布AI取得三项科学突破，涉及数学猜想、计算机算法及千禧年难题
2 天前
10月27日消息，OpenAI宣布其AI模型在数学、计算机科学和物理学三大领域取得重要突破，展示了AI在独立发现和证明复杂科学理论方面的能力，超越了传统问答或辅助研究的范畴。在数学领域，AI成功证明了适用于所有维度的局部平滑猜想，并由此解决了Kakeya猜想和Stein限制猜想，这些猜想分别涉及波浪能量集中时间、有限空间内针的转向空间以及复杂波动规律的研究。在计算机科学领域，AI推翻了长期被广泛接受的指数时间假设，为未来寻找更快的算法提供了可能。在物理学领域，AI提出了量子色动力学和杨–米尔斯理论的严格数学存在性证明，其中杨–米尔斯理论涉及世界七大千禧年数学难题之一。OpenAI表示，数学和计算机科学领域的成果已通过Lean数学验证工具进行形式化验证，并公开了证明材料；物理学领域的成果则正在由诺贝尔物理学奖得主等专家进行审查。不过，相关成果仍需学术界进一步独立确认。
