OpenAI宣布在数学、计算与物理领域取得三项科学突破
先了解这件事
2026年10月27日，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项基础理论突破。成果包括：提出声称推翻/证伪指数时间假设（ETH）的确定性算法；证明任意维度的局部平滑猜想以解决全维度挂谷猜想；以及提出四维规范场论（量子色动力学与杨-米尔斯理论）的存在性证明。目前，数学与计算机科学成果已通过Lean形式化验证并在GitHub开源，物理学成果正由外部专家团队审查，全部成果仍需学术界独立核实。此外，OpenAI引入外部专家引导成果解释的优先分发模式引发了公平性讨论；数学与人工智能咨询小组（AGMAI）随后呼吁OpenAI立即公开物理学证明背后的自然语言与Lean形式化输出。
AI 根据报道生成 · 2 小时前更新
事件进展
2 个进展
- 10月27日 08:51 · 1 篇报道AGMAI呼吁OpenAI公开杨-米尔斯AI成果Hacker News · AI：AGMAI 呼吁 OpenAI 立即公开杨-米尔斯理论的 AI 证明与 Lean 代码
- 10月27日 07:34 · 2 篇报道OpenAI公布数学与计算机科学等三大科学发现The Verge · AI 筛选：OpenAI 宣布三项基础科学新发现，并探索外部学术协作验证模式
报道时间线
沿着报道，了解事件的不同侧面。
- Hacker News · AI精选AGMAI 呼吁 OpenAI 立即公开杨-米尔斯理论的 AI 证明与 Lean 代码
数学与人工智能咨询小组（AGMAI）呼吁 OpenAI 立即公开其宣布的杨-米尔斯理论、量子色动力学和标准模型完备性存在性证明背后的自然语言与 Lean 形式化输出。
- IT之家 · AI 筛选精选OpenAI 宣布 AI 在数学猜想、算法理论与物理难题取得三项突破
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项理论突破，包括证明任意维度的局部光滑猜想、推翻指数时间假设（ETH），以及提出量子色动力学与杨-米尔斯理论的存在性证明。数学和计算机科学成果已通过 Lean 形式化验证并在 GitHub 开源，物理学成果正由外部专家团队审查，全部成果仍需学术界进一步独立核实。
- The Verge · AI 筛选精选OpenAI 宣布三项基础科学新发现，并探索外部学术协作验证模式
OpenAI 宣布在数学、计算机科学和物理学领域取得三项新突破，并在 GitHub 上公开了模型输出与 Lean 形式化证明。成果包括声称证伪指数时间假设（ETH）的确定性算法、证明欧几里得波动方程局部平滑以解决全维度挂谷猜想，以及四维规范场论的存在性证明。本次 OpenAI 尝试引入外部专家引导成果解释，但该优先分发模式也引发了顾问团队关于获取公平性的规范讨论。
本事件热度走势
当前热度 28·可比范围峰值 29（10月27日 09:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。