OpenAI 宣布 AI 在数学、计算机科学和物理领域取得三项成果，发布方式各不相同
先了解这件事
OpenAI 于 10 月 26 日宣布其 AI 模型在三个领域产出新结果：数学方面给出局部光滑性猜想（Kakeya 猜想）的证明，计算机科学方面给出否证指数时间假说（ETH）的算法结果，物理方面涉及量子色动力学与 Yang-Mills 理论的四维量子场论存在性证明。OpenAI 称将像 10 月 6 日发布数学手稿时一样，直接公开模型输出。 三个领域采用了不同的发布方式。OpenAI 请外部专家担任 shepherd 协助核查，并按专家建议分别处理：计算机科学结果由专家小组独立核查与撰写解释，数学与计算机科学的证明已翻译为 Lean 形式化语言，OpenAI 称发布推迟到 Lean 形式化完成之后；物理相关材料尚未完整公开，OpenAI 表示将听从外部专家小组关于如何发布的意见。 关于这三项成果是否已被独立证实，目前没有一手源给出确认，结果仍待外部验证。
AI 根据报道生成 · 6 天前更新
报道时间线
沿着报道，了解事件的不同侧面。
- 人人都是产品经理陶哲轩谈AI数学：OpenAI生成证明引发掠夺式开采担忧
菲尔兹奖得主陶哲轩在《新科学家》专访中表示，OpenAI 10月26日公布数学、计算机科学和物理学三项新发现，此前10月初一次性发布722份AI生成数学手稿，其中一份约100页的证明几乎未带来数学洞见，他称之为自动化掠夺式开采。他担忧AI擅长解题却难以触及理解，并指出AI可利用Lean漏洞构造假证明蒙混过关。人类数学协会已有1008位成员，其中654人加入无AI研究小组。
- 品玩精选OpenAI公布AI在数学、计算机科学和物理学领域的三项科学成果
OpenAI官方于10月26日宣布其AI模型在数学、计算机科学和物理学领域取得三项重要成果。数学方面给出局部光滑性猜想的完整证明，并解决所有维度下的Kakeya猜想和Stein限制猜想；计算机科学方面证明了指数时间假设不成立，结果已在Lean形式化验证中确认；物理学方面为量子色动力学及标准模型完备理论给出严格存在性证明。
- The Verge精选OpenAI 公布数学、计算机科学与物理三项突破，研究界不满其设限的发布方式
The Verge 报道 OpenAI 宣布三项突破，包括声称解决所有维度的 Kakeya 猜想、否定指数时间假说，以及涉及量子色动力学与 Yang-Mills 理论的物理成果。
- The Decoder精选OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明，邀请外部专家核查
OpenAI 宣布其 AI 在数学、计算机科学和物理学领域产出重大证明结果，并请外部专家担任 shepherd 核查，数学与计算机科学证明已翻译为 Lean。
- The Verge精选OpenAI 宣布数学、计算机科学和物理三项重大发现，并引入外部专家协作审阅模式
OpenAI 在上次批量发布数百份数学手稿不到一个月后，宣布数学、计算机科学和物理三项新的重大发现。
本事件热度走势
- 可比范围当前
- 6
- 可比范围峰值
- 2410月28日 11:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。