IT之家 · 人工智能·原文发布· 2 小时前精选AI 评分79
OpenAI 宣布斩获三项重大科学突破,涉及数学猜想、计算机算法及千禧年难题
AI 导读
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破,包括证明所有维度的局部光滑猜想并由此解决挂谷猜想、推翻指数时间假设(ETH),以及提出量子色动力学和纯杨-米尔斯理论的存在性证明。
本站提供 AI 导读,完整报道请前往来源网站阅读。
阅读原文 IT之家 · 人工智能 · ithome.com
推荐理由
OpenAI 公布 AI 在数学、计算机科学和物理学三项成果,数学与计算机证明已经过 Lean 形式化验证并公开,可据此了解其验证与开放方式。