爱范儿· 莫崇宇·· 3 小时前精选
OpenAI 称模型证明三项数学与物理难题
王的猜想，被 AI 一夜通关
事实摘要
OpenAI 宣布其模型一次性产出三项成果：推翻计算机科学界沿用近 30 年的指数时间假设（ETH）、证明所有维度的局部平滑化猜想，并为量子色动力学与杨-米尔斯理论构造存在性证明。公司称相关证明已用 Lean 完成形式化，数学与计算机科学材料已上传公开 GitHub 仓库。OpenAI 邀请 ETH 原始提出者及诺贝尔物理学奖得主 David Gross 等组成外部团队审查，并表示不寻求学术署名。
原文与核验
这条信号在站内保留事实摘要与战略研判。完整内容和上下文请以原文为准；融资、并购与技术效果以原始披露为准。
战略研判
基于公开信息为什么值得关注
若三项证明通过外部审查，AI 在数学与理论物理中的角色将从辅助推导转向产出待验证的原始结果，科研瓶颈可能前移到形式化与同行消化环节。
后续关注
ETH 反证与局部平滑化猜想的 Lean 形式化是否经独立数学家复核；杨-米尔斯存在性证明何时公开原始材料。
正文 · 原文摘要
AI 已经开始陆续交卷了，但人类可能连阅卷都快来不及了。 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
来源只提供摘要，完整内容请打开原文。
来源：爱范儿 · ifanr.com