跳到正文
原文
IT之家 · AI 筛选·· 4 小时前精选AI 评分91

OpenAI 宣布 AI 在数学猜想、算法理论与物理难题取得三项突破

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

AI 导读

OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项理论突破,包括证明任意维度的局部光滑猜想、推翻指数时间假设(ETH),以及提出量子色动力学与杨-米尔斯理论的存在性证明。数学和计算机科学成果已通过 Lean 形式化验证并在 GitHub 开源,物理学成果正由外部专家团队审查,全部成果仍需学术界进一步独立核实。

推荐理由

原文展示了模型生成证明与形式化验证工具结合的过程,读者可以了解前沿 AI 介入严谨科学研究的具体协作方式。

来源:IT之家 · AI 筛选 · ithome.com