header-langage
简体中文
繁體中文
English
Tiếng Việt
한국어
日本語
ภาษาไทย
Türkçe
扫码下载APP
Partnered With:

OpenAI宣布AI取得三项科学突破,涉及数学猜想、计算机算法及千禧年难题

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


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


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


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


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

AI 解读
OpenAI 10月27日称模型在数学、计算机科学、物理取得三项突破:局部平滑猜想获证并推进Kakeya、Stein限制猜想,指数时间假设被推翻,量子色动力学及杨–米尔斯理论获数学存在性证明。8月Astra推进10道十年难题、10月6日发布722篇数学论文后,Claude与Codex也用找反例进入同一赛道,竞争转向可验证证明。

验证分层更值得注意:数学与计算机科学成果已经Lean形式化并公开,物理成果仍待诺奖得主等审查。指数时间假设被推翻触及计算复杂性底层;10月8日以太坊基金会研究员Justin Drake已因OpenAI数学论文呼吁“堡垒模式”,迁移资产应对ECDSA私钥恢复风险。
展开
举报 纠错/举报
纠错/举报
提交
新增文库
仅自己可见
公开
保存
选择文库
新增文库
取消
完成