OpenAI数学论文遭质疑：缺乏透明度与验证

OpenAI 发布了一篇长达 249 页的数学研究论文，宣称其内部版本的 Astra 模型解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，且生成证明的 API 总调用成本不到 2000 美元。然而，该成果遭遇了广泛质疑，批评焦点集中在实验缺乏透明度、未创造新理论以及未经独立验证。

已确认

• OpenAI 发布了一篇 249 页的数学研究论文，宣称在数学和理论计算机等领域取得了 10 项突破。
• 外界针对该研究的批评主要集中于科学透明度的缺失与实际价值的夸大。

尚未确认

• 模型解决这些重大难题的真实能力与含金量。作者 @sudoraohacker 强调，现有模型的推理能力有限，这些惊人的结果在经过严格的同行评议之前不能轻信。
• 实验的具体成本与细节。Hacker News 社区指出官方未披露模型的尝试次数，怀疑所宣称的 2000 美元成本具有误导性。
• 至少一个 AI 数学证明可能有误。Gary Marcus 引用了其他用户的验证指出，OpenAI 生成的这些数学证明中，至少有一个可能是错误的。

为什么重要

• 科学透明度争议：Gary Marcus 直言该论文完全没有披露模型的具体工作原理、证明的验证过程、人类在其中扮演的角色，以及提出的证明是否存在错误等核心科学细节，并质问其“科学精神去哪了”。
• 开放领域推理能力受疑：Gary Marcus 指出，尽管模型被宣称无所不能，但测试显示其在数学领域仍未能建立新理论，仅停留在解决构造性问题上，其实际价值远不及微积分或信息论等历史级突破，这引发了对 AI 在开放性领域真实推理能力的质疑。
• 算力成本掩盖：社区评论者认为，实现这些模型的能力耗费了巨大的资源，官方披露的表面成本掩盖了背后的真实投入。

2026-08-01 ~ 2026-08-02 · 9 条相关

事件全程(共 4 集)→

• 第 1 集:OpenAI测试多智能体模型Astra，已向美政策制定者演示(2026-08-01,15 条)
• 第 2 集:网传OpenAI证明非sofic群被指系伪造整活(2026-08-01,5 条)
• 第 3 集:OpenAI内部模型Astra破解十大数学难题(2026-08-01,56 条)
• 第 4 集:OpenAI数学论文遭质疑：缺乏透明度与验证(2026-08-01,9 条)

• 【源头】OpenAI 数学突破遭质疑：HN 社区吐槽实验缺乏透明度 — antirez · 2026-08-01
• 【源头】Gary Marcus 炮轰 OpenAI 数学论文：只秀结果不谈验证 — GaryMarcus · 2026-08-01
• Gary Marcus 质疑 OpenAI 模型数学能力 — GaryMarcus · 2026-08-02
• OpenAI 新模型 Astra 传解开 10 大数学难题，遭质疑 — sudoraohacker · 2026-08-02
• OpenAI 数学成果被指缺乏透明度，未公开验证细节 — geoffwolfe · 2026-08-02
• Gary Marcus 批 AI 数学突破被夸大：缺乏真正新理论 — GaryMarcus · 2026-08-02
• 【源头】Gary Marcus质疑OpenAI：至少一个AI数学证明有误 — GaryMarcus · 2026-08-02
• OpenAI解决十年数学难题，API成本仅两千美元引争议 — andersonbcdefg · 2026-08-02
• Gary Marcus 转发探讨：AI 数学突破实为算力搜索而非直觉 — GaryMarcus · 2026-08-02