10 月 27 日消息，OpenAI 当日宣布其 AI 模型在数学、计算机科学和物理学三个领域取得重大突破，展示出独立发现并证明复杂科学理论的能力，而非只做答题与辅助研究。
数学方面，AI 给出了局部光滑猜想在所有维度下的证明，由此连带解决了所有维度下的挂谷猜想与斯坦因限制猜想。关键工具是一种新构建的辅助偏微分方程。这一猜想由索格在 1991 年提出，用于解释波在聚焦时的行为：即使出现极强聚焦，也只能持续很短时间。挂谷猜想与斯坦因限制猜想都可由它推导出来，二维情形在 2019 年由古思、王虹和张睿翔证明，三维挂谷猜想则在 2025 年由王虹与扎尔解决。
计算机科学与物理学
计算机科学领域，AI 推翻了长期被广泛接受的指数时间假设，意味着未来可能找到速度更快的算法。物理学领域，AI 提出量子色动力学及杨-米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。
形式化验证与后续审查
数学和计算机科学两方面的成果已通过 Lean 数学验证工具完成形式化验证，并公开了证明材料。物理学成果正在由诺贝尔物理学奖得主等专家参与审查。OpenAI 表示，相关成果仍需学术界进一步独立确认。
这条线此前在 OpenAI 一次公布 722 篇数学论文 一文里有整体脉络，当时是批量论文，这次是具体定理的完整证明。
延伸阅读
- OpenAI一次公开722篇数学论文：黎曼霍奇BSD三大千禧难题均有涉及3 周前
- OpenAI一次性公开700多份数学研究文稿，青年数学家担忧成果被AI吸收2 周前
- Blacksmith 估值 10 亿美元：AI 代码测试每周跑 9000 万次6 天前
- ChatGPT Chrome 插件大升级：用 @chrome 操控打开的标签页、能填表发信1 周前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。
继续读
同一批更新里这几篇值得一看：
- 菲尔兹奖得主邓煜批 AI 反蒸馏双标：25 位得主联署声明2026-10-27
- OpenAI 发布 GPT-6.1 Terra：API 降价 50%，终端测试 50.3%2026-10-27
- OpenAI 公开工作场景数据：165 类活动，头部集中度降至 51.1%2026-10-27