跳到正文
热点事件观察中

OpenAI 称三项科学发现,物理证明未公开引呼吁

8 篇报道6 个报道来源2 天前更新

先了解这件事

报道摘要

OpenAI 于 10 月 27 日宣布其 AI 模型在数学、计算机科学和物理学领域取得三项研究突破。数学上给出了所有维度下局部光滑猜想的证明,从而解决挂谷猜想与斯坦因限制猜想;计算机科学上给出推翻指数时间假设(ETH)的证明,暗示相关计算任务可能有更快算法;物理学上提出量子色动力学及标准模型一种统一完备化的严格存在性证明,涉及杨–米尔斯千禧年难题的一部分。

摘自 IT之家·人工智能

事件进展

4 个进展

  1. 10月28日 01:08 · 1 篇报道
    OpenAI发布模型反驳指数时间假设的解决方案
    TechCrunch:AI:OpenAI 与 Anthropic 模型称反驳指数时间假说,MIT 学者解释意味着什么
  2. 10月28日 00:00 · 1 篇报道
    数学与AI咨询小组呼吁OpenAI公开Yang-Mills证明
    Rohan Paul:数学与人工智能顾问小组公开呼吁 OpenAI 公布其搁置的 Yang-Mills 证明
  3. 10月27日 20:37 · 1 篇报道
    OpenAI邀请外部专家验证其AI生成的数学、计算机科学和物理学证明
    The Decoder:AI News:OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
  4. 10月27日 05:50 · 5 篇报道
    OpenAI宣布三项科学发现
    IT之家·人工智能:OpenAI 宣布 AI 模型取得三项科学突破,涉及局部光滑猜想、指数时间假设与杨–米尔斯理论

报道时间线

沿着报道,了解事件的不同侧面。

10月28日
  1. The Verge:AI
    研究者不满 OpenAI 对数学、计算机和物理重大成果的发布管制

    The Verge 报道,OpenAI 周一宣布数学、计算机科学和物理三项成果,包括声称解决所有维度的 Kakeya 猜想、反驳指数时间假设,物理成果涉及量子色动力学与 Yang-Mills 理论但尚未公开。

  2. TechCrunch:AI
    OpenAI 与 Anthropic 模型称反驳指数时间假说,MIT 学者解释意味着什么

    TechCrunch 报道 OpenAI 发布三道数学难题解答,其中对指数时间假说(ETH)的反驳引发争议,Anthropic 数学家质疑其基于已有工作,随后 Anthropic 也发布了 ETH 反驳。

  3. Rohan Paul
    数学与人工智能顾问小组公开呼吁 OpenAI 公布其搁置的 Yang-Mills 证明

    数学与人工智能顾问小组(AGMAI,隶属 Institute for Advanced Study)公开呼吁 OpenAI 立即公布其 Yang-Mills 理论、量子色动力学(quantum chromodynamics)和标准模型补全存在性证明背后的自然语言与 Lean 输出。

10月27日
  1. The Decoder:AI News精选
    OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

    The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果,并将部分证明翻译成 Lean 供计算机逐步验证。

  2. IT之家·人工智能精选
    OpenAI 宣布 AI 模型取得三项科学突破,涉及局部光滑猜想、指数时间假设与杨–米尔斯理论

    OpenAI 于 10 月 27 日宣布其 AI 模型在数学、计算机科学和物理学领域取得三项研究突破。数学上给出了所有维度下局部光滑猜想的证明,从而解决挂谷猜想与斯坦因限制猜想;计算机科学上给出推翻指数时间假设(ETH)的证明,暗示相关计算任务可能有更快算法;物理学上提出量子色动力学及标准模型一种统一完备化的严格存在性证明,涉及杨–米尔斯千禧年难题的一部分。

  3. The Verge:AI精选
    OpenAI 宣布数学、计算机科学与物理三项重大发现,并与外部专家合作验证

    OpenAI 宣布三项涉及数学、计算机科学和物理的重大发现,包括证明局部光滑猜想、反驳指数时间假说(ETH),以及涉及 QCD 的量子场论存在性证明。

  4. Rohan Paul
    OpenAI 宣称 AI 证明涵盖 Millennium Prize 问题一半、Kakeya 猜想与指数时间假说反例

    Rohan Paul 转述 OpenAI 宣称其 AI 完成三项跨领域数学证明。最重要的结果是指为期约 25 年的 Exponential Time Hypothesis 被其 AI 证明为假,而数百篇论文建立在该假说之上。

  5. Greg Brockman
    Greg Brockman 宣布 OpenAI 在数学、复杂度理论和量子场论领域的三项科学发现

    Greg Brockman 宣布三项重大科学发现,分别属于数学(调和分析)、计算机科学(复杂度理论)和物理(量子场论)。他表示 AI 开始帮助我们加深对宇宙的理解,并附上 OpenAI 与学术社区合作详情的链接 https://openai.com/index/building-scientific-understanding-with-academic-communities/。

本事件热度走势

可比范围当前
8
可比范围峰值
28210月27日 22:00
近 24 小时变化
-92%

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。