IT之家·· 2 小时前精选AI 评分92
OpenAI 称其模型在数学、算法与物理领域取得三项突破
OpenAI 宣布斩获三项重大科学突破,涉及数学猜想、计算机算法及千禧年难题
AI 导读
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项成果:证明适用于所有维度的局部光滑猜想并由此解决挂谷猜想,给出指数时间假设(ETH)不成立的证明,以及提出量子色动力学和标准模型一种统一完备化理论的严格存在性证明,涉及杨–米尔斯千禧年难题的一部分。
推荐理由
原文梳理了 OpenAI 三项成果的证明路径、Lean 形式化验证与外部专家审查安排,可供了解 AI 参与数学证明的当前边界。
来源:IT之家 · ithome.com