跳到正文
IT之家·· 2 小时前精选AI 评分77

OpenAI 宣布 AI 模型在数学、计算机科学与物理学领域取得三项重大突破

OpenAI 宣布斩获三项重大科学突破,涉及数学猜想、计算机算法及千禧年难题

AI 导读

OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破。模型给出所有维度下局部光滑猜想及挂谷猜想的证明、推翻指数时间假设,并提出量子色动力学与纯杨-米尔斯理论存在性的严格数学证明。前两项已完成 Lean 形式化验证并公开证明材料,物理学成果正由专家审查,所有成果仍需学术界进一步独立确认。

推荐理由

公开自然语言证明与 Lean 形式化材料并组织外部专家审查,有助于数学、计算复杂性和数学物理研究者核验与评估,但相关结论仍待学术界独立确认。

来源:IT之家 · ithome.com