OpenAI称内部模型2000美元解决10项数学难题引争议
OpenAI公开表示，其下一代主力模型的内部版本在数学与理论计算机科学的长期未解问题上产出了10项新结果，按GPT-5.6 Sol API计价约2000美元。这一说法迅速引发外界对模型高阶推理能力的关注与两极分化的争议，但目前缺乏外部独立验证。
已确认
- @OpenAI表示，一个下一代主模型的内部版本已在数学和理论计算机科学的长期难题上得到10项新结果，并给出了约2000美元的GPT-5.6 Sol API等价成本说法。@rohanpaulai补充指出，这一成本甚至低于派两名学者参加学术会议的差旅费。
- @OpenAI还强调，基础数学与GPS、天气预报、医学影像等现实技术相关，认为这类进展可能外溢到更广泛的科学与工程问题。
尚未确认
- 多条帖子把该内部模型称为Astra，并称这些成果涉及至少搁置十年的开放问题；其中一条转述还提到，最受关注的结果之一是自1999年以来未解的非sofic群构造问题。但这些具体题目与模型代号，并非本组官方帖文直接披露。
- 另有转述称相关证明已用Lean形式化、附带机器可验证证书并在GitHub公开；在给定材料里，这同样未见OpenAI原帖直接确认。
- 业内对此存在严重分歧。@BlackHC转述了研究者的强烈反驳，认为这套说法很可能是“100%的AI大忽悠”，并强调当前LLM仍有结构性局限。相对地，@ValerioCapraro与@littmath探讨了LLM“无法跳跃”的逻辑推理瓶颈，@ValerioCapraro认为如果这些结果属实，可能会冲击该瓶颈；@TheZvi则把它视作LLM数学能力可能正在明显提升的信号。
为什么重要
- 这件事的核心，不只是“又一个更强模型”的传闻，而是AI是否开始在严肃数学研究中稳定产出可验证新结果。如果OpenAI的公开说法后续能被外部验证，低成本完成高难度证明将是大模型推理能力的重要里程碑。
- 相关讨论也被一些评论者如@haider1、@cuttheblue进一步上升到AGI时间表。作为旁证语境，Quanta Magazine的报道也被转引出来：AI已在Erdős相关经典难题上带来实际推进，包括2026年5月OpenAI称其内部模型找到1946年“单位距离问题”的反例，随后人类数学家继续扩展成果。
2026-08-03 ~ 2026-08-04 · 15 条相关
- 第 1 集:OpenAI测试多智能体模型Astra，已向美政府演示(2026-08-01,17 条)
- 第 2 集:OpenAI内部模型Astra连破10大数学难题(2026-08-01,99 条)
- 第 3 集:谷歌Astra模型以不到两千美元攻克十大科学难题(2026-08-01,4 条)
- 第 4 集:OpenAI数学突破遭Gary Marcus等质疑炒作(2026-08-01,38 条)
- 第 5 集:传 OpenAI 将发 Astra 模型主打多智能体协同(2026-08-02,3 条)
- 第 6 集:Anthropic 员工称用 Fable 24 小时复现半数 Astra 证明(2026-08-02,4 条)
- 第 7 集:提示距离：弱模型能否复现前沿证明(2026-08-03,6 条)
- 第 8 集:OpenAI称内部模型2000美元解决10项数学难题引争议(2026-08-03,15 条)
- 第 9 集:OpenAI公开Astra数学证明与推演手稿(2026-08-04,4 条)
- 第 10 集:传OpenAI下周发布Astra模型，或为GPT-4.5后最大预训练(2026-08-06,10 条)
- 第 11 集:OpenAI因网络安全风险放缓Astra开发并受限发布(2026-08-08,30 条)
- 第 12 集:OpenAI预告下一代模型Astra为首个网安关键模型(2026-08-08,4 条)
- 第 13 集:OpenAI新模型Astra或8月发布，10T参数引期待(2026-08-09,6 条)
- 第 14 集:OpenAI新模型代号Doug曝光，年底启动史上最大预训练(2026-08-09,8 条)
- 第 15 集:OpenAI 因网络攻击风险暂停 Astra 模型开发(2026-08-10,3 条)
- 第 16 集:OpenAI模型安全评级引争议(2026-08-11,2 条)
- 第 17 集:预测市场押注Astra下月发布概率76%(2026-08-14,2 条)
- 第 18 集:OpenAI 下一代模型 Astra 传闻升温，月底发布或本周四亮相(2026-08-15,5 条)
- 第 19 集:电力瓶颈威胁美国 AI 数据中心扩张(2026-08-17,4 条)
- 第 20 集:OpenAI 因模型越权与安全阈值暂停 Astra 前沿训练(2026-08-17,17 条)
一手来源
- OpenAI 称下一代模型用约 2000 美元拿下 10 项数学新结果 — OpenAI ·
- OpenAI 称基础数学进展会外溢到 GPS 与医学影像 — OpenAI ·
- 曝 OpenAI 内部版 Astra 解决十大数学难题，打破 LLM 无法跳跃瓶颈 — ValerioCapraro · 2026-08-03
- OpenAI 未公开模型解出 10 道数学难题，成本仅 2000 美元 — docdavkitty · 2026-08-03
- 网传 OpenAI 新模型 Astra 解决十大数学难题遭批「纯吹水」 — BlackHC · 2026-08-03
- OpenAI Astra 传闻再起，强 AGI 到底还要多久 — cuttheblue · 2026-08-04
- Quanta：AI 开始攻克传奇的 Erdős 数学难题 — kylekabasares · 2026-08-04
- 【源头】OpenAI 称下一代模型用约 2000 美元拿下 10 项数学新结果 — OpenAI · 2026-08-04
- 【源头】OpenAI 称基础数学进展会外溢到 GPS 与医学影像 — OpenAI · 2026-08-04
- OpenAI 未发布模型 Astra 据称解出十个开放数学问题 — TheZvi · 2026-08-04
- OpenAI 内部下一代模型在数学难题上产出 10 项新结果 — haider1 · 2026-08-04
- 传 OpenAI 内部版 Astra 已解十个数学与计算机难题 — PolarBearby · 2026-08-04
- OpenAI Astra 被指产出 10 个新数学结果，AGI 争论升温 — haider1 · 2026-08-04
- OpenAI 内部模型 Astra 实现十项数学理论突破 — emmanuelvivier · 2026-08-04
- OpenAI新模型耗资2000美元解决10大数学难题 — rohanpaul_ai · 2026-08-04
另有 2 条近重复转述:littmath · The AI Daily Brief