Codex 重置引热议，Anthropic 或跟进

针对 The Information 报道的 OpenAI 接近解决千禧年大奖难题的传闻，数学研究者 Elliot Glazer 表示怀疑，认为相关进展更可能是 Hodge 猜想针对阿贝尔簇的特殊案例，而非完整解决。他引用 Terry Tao 博客 9 月 11 日的客座文章等公开线索，并指出此前 OpenAI 员工曾误传 Anthropic 解决两个千禧年难题，内部传言未必可靠。

Sam Altman 发文回应 Dario，认同需要为前沿模型发展设定节奏，称这是 OpenAI 近几周内部讨论的主要话题，并承诺 OpenAI 也将为独立评估者提供类似员工的访问权限。作者评论称 Anthropic 与 OpenAI 两家前沿实验室已在放缓节奏上达成一致，此举可能落地，中国方面如何回应仍待观察。

现在 OpenAI 的员工也在表态支持放缓了。不再只是 Anthropic。 我坚持相反立场：加速！ 【引用 @eeeeiluj】：我在 OpenAI 工作。以个人身份，我也认为我们需要放缓。

有传言称 OpenAI 接近验证霍奇猜想的证明，而 OpenAI 或 Anthropic 可能即将给出 Birch-Swinnerton-Dyer 猜想的解。这两个问题均属千禧年大奖难题，已被数学界研究数十年而未解。若 AI 生成的证明获验证，将是数学史上的里程碑，也证明 AI 能产出新颖且具创造性的科学知识。

Anthropic 在博客文章中预测，当前 AI 发展速度将持续，出现 S 曲线式放缓或停滞的可能性不大，递归式自我改进是现实情景。Anthropic 认为美国与中国竞争激烈，放缓不可行，因此与 OpenAI 均认为 AI 发展没有终点，社会需就此展开广泛讨论。

作者称 OpenAI 为付费计划中无法使用 Codex 的每一天补偿一次 reset，并转发引文称赞这一社区补偿做法。作者以一句调侃收尾，称这种举措会让用户'远离 Anthropic'。

作者点评 OpenAI 新发布的基础模型 GPT-6-Astra，认为基准显示其在浏览器操作、计算机操作、Excel、编码、药物发现、数学研究等领域达到专家水平，Sam Altman 和 Greg Brockman 称其可能接近 AGI。

OpenAI Codex 达到 2500 万活跃用户，官方为庆祝重置了所有 ChatGPT Work 和 Codex 付费订阅的用量。作者转发该消息并称 Codex 用户正大规模增长、目前呈指数级，还表示自己也是用户并理解原因。

OpenAI 据报购入数万台 Mac mini 和 Mac Studio，用于强化学习及训练计算机操作智能体，Anthropic 则通过 AWS 租用 Mac mini。主推文称，算力被抢购用于强化学习训练，已导致 Mac mini 出现缺货。

OpenAI 为所有 Codex 和 ChatGPT Work 付费用户重置用量，并修复多项导致配额浪费的 bug，使同等额度可用时长提升 10%-50%。修复涵盖压缩、记忆、目标、自动化、子代理及 MCP 编码等问题，部分案例曾消耗周配额的 15%-70%。对比 Anthropic 仅降费 17%，社区普遍认为 OpenAI 的社区服务更胜一筹。