OpenAI 称三项科学发现,物理证明未公开引呼吁
先了解这件事
OpenAI 宣布其 AI 在数学、计算机科学和物理三个领域各取得一项“重大科学发现”:数学上给出所有维度下局部光滑猜想的证明,计算机科学上给出推翻指数时间假说(ETH)的证明,物理上提出量子色动力学及标准模型一种统一完备化的严格存在性证明。OpenAI 称,计算机科学和物理两项由外部专家担任“shepherd”指导结果;数学一项则建议直接公开 AI 输出、由研究者自行梳理解释。 公开程度不一:数学结果已上传至 GitHub,物理信息尚未完整发布。数学与人工智能顾问小组(AGMAI,隶属 Institute for Advanced Study)公开呼吁 OpenAI 立即公布其搁置的 Yang-Mills 理论、量子色动力学和标准模型补全存在性证明背后的自然语言与 Lean 输出。The Verge 报道称,OpenAI 表示物理材料如何发布将“听从”外部专家组意见。 The Decoder 报道称,OpenAI 已将数学和计算机科学两项证明翻译成 Lean 供计算机逐步验证,并按专家组要求公开书面证明与 Lean 证明等原始数据,还承诺资助一场讨论该结果意义的会议;数学一项没有专门专家组担任 shepherd。这些验证安排能否证实证明成立,报道未给出结论。TechCrunch 报道称,Anthropic 数学家质疑 ETH 反驳基于已有工作,随后 Anthropic 也发布了 ETH 反驳。
AI 根据报道生成 · 6 天前更新
报道时间线
沿着报道,了解事件的不同侧面。
- The Verge:AI研究者不满 OpenAI 对数学、计算机和物理重大成果的发布管制
The Verge 报道,OpenAI 周一宣布数学、计算机科学和物理三项成果,包括声称解决所有维度的 Kakeya 猜想、反驳指数时间假设,物理成果涉及量子色动力学与 Yang-Mills 理论但尚未公开。
- TechCrunch:AIOpenAI 与 Anthropic 模型称反驳指数时间假说,MIT 学者解释意味着什么
TechCrunch 报道 OpenAI 发布三道数学难题解答,其中对指数时间假说(ETH)的反驳引发争议,Anthropic 数学家质疑其基于已有工作,随后 Anthropic 也发布了 ETH 反驳。
- Rohan Paul数学与人工智能顾问小组公开呼吁 OpenAI 公布其搁置的 Yang-Mills 证明
数学与人工智能顾问小组(AGMAI,隶属 Institute for Advanced Study)公开呼吁 OpenAI 立即公布其 Yang-Mills 理论、量子色动力学(quantum chromodynamics)和标准模型补全存在性证明背后的自然语言与 Lean 输出。
- The Decoder:AI News精选OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果,并将部分证明翻译成 Lean 供计算机逐步验证。
- Yuchen JinAI数学能力演进时间线调侃
2023:GPT-4 几乎解决了小学水平的数学 2024:IMO 银牌 2025:IMO 金牌 2026 年 5 月:Erdős 单位距离猜想 2026 年 9 月:纳维-斯托克斯千禧年大奖难题被解决 2026 年 10 月:722 篇 AI 撰写的数学手稿 今天:OpenAI 证明 ETH 为假 明天:P = NP?
- IT之家·人工智能精选OpenAI 宣布 AI 模型取得三项科学突破,涉及局部光滑猜想、指数时间假设与杨–米尔斯理论
OpenAI 于 10 月 27 日宣布其 AI 模型在数学、计算机科学和物理学领域取得三项研究突破。数学上给出了所有维度下局部光滑猜想的证明,从而解决挂谷猜想与斯坦因限制猜想;计算机科学上给出推翻指数时间假设(ETH)的证明,暗示相关计算任务可能有更快算法;物理学上提出量子色动力学及标准模型一种统一完备化的严格存在性证明,涉及杨–米尔斯千禧年难题的一部分。
- The Verge:AIOpenAI 宣布数学、计算机科学与物理三项重大发现,并与外部专家合作验证
OpenAI 宣布三项涉及数学、计算机科学和物理的重大发现,包括证明局部光滑猜想、反驳指数时间假说(ETH),以及涉及 QCD 的量子场论存在性证明。
- Rohan PaulOpenAI 宣称 AI 证明涵盖 Millennium Prize 问题一半、Kakeya 猜想与指数时间假说反例
Rohan Paul 转述 OpenAI 宣称其 AI 完成三项跨领域数学证明。最重要的结果是指为期约 25 年的 Exponential Time Hypothesis 被其 AI 证明为假,而数百篇论文建立在该假说之上。
- Greg BrockmanGreg Brockman 宣布 OpenAI 在数学、复杂度理论和量子场论领域的三项科学发现
Greg Brockman 宣布三项重大科学发现,分别属于数学(调和分析)、计算机科学(复杂度理论)和物理(量子场论)。他表示 AI 开始帮助我们加深对宇宙的理解,并附上 OpenAI 与学术社区合作详情的链接 https://openai.com/index/building-scientific-understanding-with-academic-communities/。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 5810月28日 02:00
- 近 24 小时变化
- -91%
趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。