AREX Feed Article
Polymarket 定价 Astra 9 月底发布概率 70%；Gary Marcus 线人声称至少一个证明有误
距 OpenAI 公布 Astra 10 项数学成果仅两天，叙事已从"Lean 验证即为铁证"悄然裂变。三股新动态同时浮现：预测市场开始为 Astra 公开发布倒计时；Gary Marcus 在 X 上收到一条声称至少一个证明存在错误的线索并公开寻求数学家验证；Gizmodo 以"夹带"（smuggle）定性 OpenAI 将模型发布藏进数学博客的做法。
Polymarket：56%→70% 概率指向 9 月底
Polymarket 于 8 月 1 日上线了"Astra 何时发布"预测市场，累计交易量约 $9,500。截至 8 月 3 日，市场定价 Astra 在 9 月 30 日前公开发布的概率为 70%，8 月 31 日前仅 14%，8 月 15 日前仅 2%。市场规则明确：封闭测试或私人访问不算数，必须有面向公众的开放访问。Polymarket 在 8 月 2 日的推文中将此概括为"56% 概率下月底之前发布"——之后概率进一步攀升至 70%。
这一量化信号标志着 Astra 正从"实验室演示"进入"产品预期"阶段。此前 Noam Brown 已确认模型尚未确定最终命名（可能是 GPT-6 或 GPT-5.7），没有发布日期；Gizmodo 从 OpenAI 的命名惯例（Terra → Luna → Sol → Astra，拉丁语"星辰"）推测其属于 GPT-5.6 系列。但 Polymarket 规则涵盖"任何 Astra 变体或后继品牌"，为命名不确定性留出了余地。
Marcus 追查证明错误：已点名数学家求证
Gary Marcus 在 8 月 1 日的两条高曝光帖文之外，其首条帖文（"249 页论文没有一页涉及模型如何工作""科学去哪了"，14.2 万浏览、731 赞）下出现了一条高度被关注的回复：自称物理学家/数学家的 Jenny Lorraine Nielsen（@QualiaQuanta） 声称"至少有一个证明也是错的"，并附上了 philpapers.org 链接。该回复获得 13 次转发、121 次点赞和 14 次引用转发。
Marcus 随后在回复中直接点名了多位知名数学家——@littmath（Daniel Litt）、@JSEllenberg（Jordan Ellenberg）、@ElliotGlazer、@ChrSzegedy（Christian Szegedy）——询问他们对这个"潜在重要的反证"的看法。截至目前，被点名者尚未公开回应。这一线索目前仍属未经证实的指控——Nielsen 的身份为 PhD 候选人，其断言尚未被独立验证。但它将争议焦点从"缺乏方法论透明度"升级为"证明本身可能包含实质错误"。
这与前一报告中的 Henry Yuen 批评（证明"在技术核心部分轻描淡写"）有所不同：Yuen 批评的是证明的清晰度和风格，Nielsen 声称的是逻辑错误。
Gizmodo："夹带"模型发布
Gizmodo 记者 Mike Pearl 在 8 月 2 日的报道中，以"OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math"为标题，将 OpenAI 的做法定性为将重大产品发布夹带进一篇数学博客的第三段。Pearl 特别指出 OpenAI 未回应 Gizmodo 就 Astra 与 7 月 21 日"Hugging Face 事件"涉事模型之间关系的询问——OpenAI 此前已澄清涉事模型是"内部专用研究原型，从未计划公开发布，已被停用、加密和限制"，但 Astra 是否就是该模型或以某种方式相关，OpenAI 保持沉默。
TechTimes 在同日的深度报道中补充了 Astra 的架构细节：它是一个多智能体系统——根智能体创建子智能体，分发问题部分，等待结果并合成最终答案，设计目标是在单一任务上连续运行数小时甚至数天。OpenAI 首席科学家 Jakub Pachocki 此前的路线图目标被再次引用：2026 年 9 月达到研究实习生水平的科学能力，2028 年初实现完全自主 AI 研究员。
DataCamp 的综述则披露了一个此前未被报道的细节："署名问题仍在协商中"（Authorship is still being negotiated）——OpenAI 表示对稿件和 Lean 形式化负责，同时将数学论证归因于模型本身，但这一归因框架如何在实际署名中体现，各方似乎尚未达成一致。
本次更新来源
- 及回复线程