Today for AI
返回热点榜
llm热度 9.1°

AI 聚合热点事件 · 2026/10/27

OpenAI 宣称 AI 攻克多项科学难题并试验专家协作验证机制

13 篇收录报道2 家独立信源交叉印证持续跟踪至 2026/10/28 11:27:59
全景综述与最新动态
2 家信源交叉印证

OpenAI 宣布其内部模型在数学、计算机科学和物理学领域取得三项重大突破，包括证明全维度局部光滑猜想（从而解决挂谷猜想）、证伪指数时间假设（ETH）以及提出量子色动力学杨-米尔斯理论的严格存在性证明。这些成果若属实，将颠覆计算复杂度理论基石并触及千禧年大奖难题，标志着 AI 从科研辅助工具向原始发现者角色的转变。

多方信源交叉验证显示，OpenAI 与 Anthropic 在同一天分别发布了关于推翻 ETH 的独立工作，其中 Anthropic 披露其 Claude 模型在无人类输入下生成 1400 万 Token 完成核心算法推导。OpenAI 采取差异化发布策略：数学与 CS 部分成果已通过 Lean 形式化验证并开源代码，而物理领域的杨-米尔斯证明细节尚未公开，正由包括诺贝尔奖得主在内的外部专家组进行“牧羊人”式审查。尽管部分手稿被标记为“原始研究数据”，但学术界对 AI 生成证明的可读性及完全排除人类贡献的伦理问题仍存争议。

这一事件不仅动摇了数百篇基于 ETH 假设的研究根基，更引发了关于 AI 科研范式、学术归属权及验证透明度的激烈辩论。OpenAI 尝试建立的人机协作验证机制可能成为未来 AI 参与前沿科学探索的标准流程，但也凸显了当前 AI 黑盒推理在可复现性与同行评审接受度上的巨大挑战。

最新动向/AI 数学顾问组公开施压 OpenAI，要求披露杨-米尔斯与 QCD 证明的自然语言及 Lean 形式化原始数据。目前核心物理证明仍在 David Gross 团队审核中未公开，社区强烈呼吁提高透明度以支持独立复现。

逐小时热度走势

67 个完整观测小时
当前
9.1
峰值
97.602:00
近 24h 变化
-86%

曲线只比较全程持续完整观测的同一批信源；缺口小时数据已插值平滑，保持趋势连续。

报道时间线

共 13 篇 · 最新优先
  1. IT之家 · IT业界T2·88 分

    OpenAI 宣布攻克挂谷猜想等三项科学难题，发布方式引争议

    原标题：OpenAI 宣布三项重大科学突破，科研界却不满其成果发布方式

    • OpenAI 声称证明了三维挂谷猜想并证伪了指数时间假说，触及多个未解数学难题。
    • 针对不同学科采用差异化发布策略：数学直接公开推导，物理暂不公开，CS 组建外部小组解读。
    • 科研界质疑 AI 生成证明的可读性与可验证性，以及完全排除人类贡献的伦理问题。
  2. TechCrunch AIT2·85 分

    OpenAI 发布数学证明 挑战指数时间假设

    原标题：Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

    • OpenAI 声称其模型解决了包括反驳指数时间假设在内的三个长期数学难题。
    • Anthropic 迅速跟进发布了独立的 ETH 反驳证明，显示该领域竞争加剧。
    • AI 实验室正尝试建立新的学术协作机制（如 GitHub 开源、资助研讨会）以验证 AI 生成的科学成果。
  3. Rohan Paul (@rohanpaul_ai)T2·78 分

    AI 数学顾问组呼吁 OpenAI 公开杨米尔斯证明细节

    原标题：The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to relea...

    • AI数学顾问组施压OpenAI公开杨-米尔斯与QCD证明的原始数据（自然语言+Lean代码）。
    • OpenAI此前声称于9月完成相关证明，但仅部分结果（如Kakeya）已开源，核心物理证明仍在内部审核。
    • 事件凸显了AI解决千禧年难题后，学术界对“黑盒”证明透明性与独立复现能力的强烈需求。
  4. The DecoderT2·88 分

    OpenAI 称 AI 证明千禧难题部分成果 邀专家验证

    原标题：OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

    • OpenAI 声称其模型在数学和计算机科学中取得了实质性理论突破，包括触及千禧年大奖难题。
    • 公司采取“人机协作+形式化验证”策略，邀请外部专家审查并尝试用 Lean 语言验证证明步骤。
    • 该事件引发了关于如何验证 AI 科学发现、谁拥有访问权以及学术归属权的更广泛辩论。
  5. 宝玉 (@dotey)T2·95 分

    Anthropic 发布 Claude 独立证明 ETH 论文 OpenAI 同日宣布相同结论

    原标题：OpenAI 宣布 AI 推翻“指数时间假设”（ETH）的同一天，Anthropic 在 GitHub 上放出一篇论文，得出同样的结论，署名作者只有一个：Claude。

    • Claude 内部研究模型在无人类输入下生成 1400 万 Token 找到 ETH 核心算法
    • OpenAI 与 Anthropic 在同一天分别宣布 AI 推翻了指数时间假设
    • 论文署名作者仅为 Claude，研究人员仅协助优化呈现形式
  6. 新智元 (微信公众号)T2·95 分

    OpenAI 宣布 AI 独立证伪 ETH 并解决挂谷猜想

    原标题：OpenAI改写人类科学史！「王的猜想」全维度告破，30年铁律ETH塌了

    • AI 独立证伪了指数时间假设（ETH），动摇了数百篇基于此假设的计算机科学研究根基。
    • 解决了困扰数学界百年的挂谷猜想（通过证明全维度局部平滑猜想）。
    • 为四维量子色动力学（QCD）提供了严格的数学存在性证明，推动理论物理发展。
  7. 宝玉 (@dotey)T2·92 分

    OpenAI 称 AI 推翻指数时间假设并证杨-米尔斯存在

    原标题：OpenAI 称 AI 推翻计算机科学的“指数时间假设”，还证出杨-米尔斯理论存在，外部专家组开始核查

    • OpenAI 声称 AI 推翻了作为复杂性理论基石的指数时间假设（ETH），但未证明 P=NP。
    • AI 被指证明了杨-米尔斯理论的存在性（千禧年难题之一），但质量间隙部分未完成且细节暂不公开。
    • 所有核心声明均处于外部专家独立核查阶段，未经过传统同行评审，引发对 AI 科研贡献模式的讨论。
  8. IT之家 · 智能时代T2·98 分

    OpenAI 宣布三项科学突破：证局部光滑猜想、推翻 ETH 及解决千禧年难题

    原标题：OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题

    • AI 证明了适用于所有维度的局部光滑猜想，从而解决了长期悬而未决的挂谷猜想和斯坦因限制猜想。
    • 通过 Lean 形式化验证，AI 推翻了被广泛接受的指数时间假设（ETH），暗示未来可能发现更高效的算法。
    • AI 提出了涉及千禧年难题之一的量子色动力学及杨-米尔斯理论的严格数学存在性证明，目前处于专家审查阶段。
  9. The Verge AIT2·68 分

    OpenAI 发布三项科学发现并引入专家指导机制

    原标题：OpenAI announces three big science discoveries and a new way to work with academics

    • OpenAI 在数学、CS 和物理领域取得三项被定义为“重大”的科学发现。
    • 采用新的发布流程：CS 和物理结果由外部专家引导，数学结果交由研究者自行解读。
    • 旨在通过引入学术界监督来缓解此前大规模发布引发的争议并提升可信度。
  10. Rohan Paul (@rohanpaul_ai)T2·95 分

    OpenAI 宣称攻克千禧年难题及核心复杂性假设

    原标题：OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya conjecture and a co...

    • AI 声称证伪了维持约 25 年的指数时间假设 (ETH)，影响大量依赖该假设的复杂性理论研究。
    • 解决了局部平滑猜想从而确立 Kakeya 猜想，并完成了量子色动力学中杨-米尔斯理论一半的严格数学证明。
    • 成果涵盖数学、计算机科学与物理学三大领域的顶级未解难题，显示 AI 具备处理极端复杂抽象问题的能力。
  11. Hacker News AIT2·85 分

    OpenAI 模型宣称证伪指数时间假设 ETH

    原标题：The Exponential Time Hypothesis Is False [pdf]

    • OpenAI 内部模型生成并发布了声称证伪指数时间假设（ETH）的数学手稿。
    • 仓库包含 721 份手稿，分为 373 个系列，旨在作为开放研究问题的评估扩展。
    • 官方强调这些是“原始研究数据”，部分结果未经过 Lean 形式化验证，可能存在错误。
  12. Hacker News AIT2·68 分

    AI 发布三项科学新发现 探索专家引导式成果披露机制

    原标题：Working with academic communities to build scientific understanding

    • AI 在数学（调和分析）、CS（复杂性理论）和物理（量子场论）三个基础学科产生新发现。
    • 提出将 AI 产出视为“原始研究数据”，需通过特定机制转化为科学理解。
    • 试验三种专家引导的发布策略：研究者自主解读、协作解释+公开输出、专家全权主导发布。