OpenAI公布三项AI发现，物理结果未公开
先了解这件事
OpenAI公布了三项由AI辅助得出的发现，涉及数学、计算机科学与物理，并将数学和计算机科学的材料发布到GitHub供学术界核验。数学方面，模型给出了欧几里得波动方程局部光滑猜想的证明，并由此推出Kakeya猜想与Stein限制猜想；计算机科学方面，论文给出确定性算法，在次指数时间内精确计数固定宽度CNF公式的满足赋值，其中3-SAT情形否定了指数时间假设（ETH）。 物理部分仅披露为四维含规范场与费米子的相互作用量子场论的严格存在性证明，涵盖QCD与标准模型统一，全文尚未公开。据The Decoder报道，该结果只解决了Yang-Mills存在性部分，未涉及质量间隙；与数学和计算机科学部分公开原始数据及Lean证明不同，物理证明暂由David Gross等外部专家小组自行撰写。 OpenAI称已请外部专家为计算机科学与物理结果把关，数学部分则按顾问建议直接公开模型输出。研究者对这套选择性公开的做法表示不满。布朗大学数学教授Brendan Hassett称数学结论“看起来有充分支持”，但他尚未核查Lean形式化验证。OpenAI未说明这些结果是否已获独立验证或证明。
AI 根据报道生成 · 6 天前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Verge · AI研究者不满 OpenAI 对数学、计算机科学与物理突破的选择性公开
OpenAI 宣布在数学、计算机科学和物理领域取得突破，并称正与专家“shepherd”合作决定如何分享成果，但研究者对这套选择性公开的做法表示不满。数学结果声称解决了所有维度的 Kakeya 猜想，OpenAI 直接放出 AI 生成的输出，让研究者自行组织解释；计算机科学结果声称否证指数时间假设，OpenAI 将组建外部研究组来解释；物理结果涉及标准模型下的量子色动力学与 Yang-Mills 理论，但尚未公开，OpenAI 称将交由外部专家组决定发布方式。布朗大学数学教授 Brendan Hassett 称数学结论“看起来有充分支持”，但他尚未核查 Lean 形式化验证。
- The Decoder 精选OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI 表示其模型在数学、计算机科学和物理三个领域产出了证明，并邀请外部专家担任核查者。计算机科学方面，OpenAI 称已证明复杂性理论中的指数时间假设（ETH）不成立，若成立，大量依赖该假设的论文将失去基础；数学方面，其模型称把局部平滑猜想推广到所有维度，并由此推出 Kakeya 猜想和 Stein 限制猜想；物理方面，其称证明了若干量子场论在四维空间中的存在性，但明确只解决了 Yang-Mills 存在性部分，未涉及质量间隙。OpenAI 已将数学和计算机科学证明翻译为 Lean，并公开原始数据；物理证明暂由 David Gross 等专家小组自行撰写。
- The Verge · AI 精选OpenAI 公布数学、计算机科学与物理三项 AI 发现，并引入外部专家把关
OpenAI 公布三项 AI 辅助得出的“重大”发现，分别涉及数学、计算机科学与物理，并将结果发布到 GitHub。数学方面，模型给出了欧几里得波动方程局部光滑猜想的证明，并由此推出 Kakeya 猜想与 Stein 限制猜想；计算机科学方面，论文给出确定性算法，在次指数时间内精确计数固定宽度 CNF 公式的满足赋值，其中 3-SAT 情形否定了指数时间假设（ETH）；物理方面仅披露为四维含规范场与费米子的相互作用量子场论的严格存在性证明，涵盖 QCD 与标准模型统一完成，全文尚未公开。此次 OpenAI 让外部专家“把关”计算机科学与物理结果，数学部分则按顾问建议直接公开模型输出。
- OpenAI NewsOpenAI 公布 Kakeya 猜想、ETH 与量子色动力学模型结果，供学术界验证
OpenAI 公布其在 Kakeya 猜想、指数时间假设（ETH）和量子色动力学三个问题上的模型结果，并说明研究人员如何验证并在此基础上继续推进。此次发布面向学术社区，重点是让研究者能够核验这些结果并开展后续工作。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 2110月28日 05:00
- 近 24 小时变化
- -50%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。