🤖 AI HOT 日报 · 2026-09-06
2026-09-06
OpenAI 本周焦点:奥尔特曼就 GPT-6 Astra 发布混乱致歉并提出补偿机制(付费用户每缺…自 9 月 4 日起补),模型现面向所有 Plus/Pro 等用户推出、消息额度约为 GPT-5.6 Sol 的一半,经 ChatGPT Work、Codex、API、Azure 与 AWS Bedrock 提供;OpenAI 承认德国 wiki 事件属实,称误对齐过去被当作研究问题、将建立更透明的事故披露框架、与数十国监管合作;塔姆布勒岭枪击案受害者追加 30 起诉讼,OpenAI 面临诉讼超 50 起;Anthropic 将费马大定理 Lean 4 机器验证完整证明以 Apache 2.0 开源(遵循 Frey-Serre-Ribet-Wiles 路线);GPT-6 Astra 以 1797 分登顶 Code Arena: WebDev、领先 Fable 5.1 达 35 分;OpenAI 发布 Astra 提示词指南(含 slop 词屏蔽清单);国内实测 Astra:综合能力追平 Claude Fable 5、额度 100% 可用、速度与代码/前端能力全面提升。
1. 奥尔特曼致歉 Astra 发布混乱,推补偿机制
企业安全客户先于 Pro 订阅者获访问权限引高价用户不满,CEO 9 月 4 日致歉;付费用户自 9 月 4 日起按缺口获得补偿,模型已面向所有 Plus/Pro 等推出。
2. Astra 全量开放:额度约为 GPT-5.6 Sol 一半
经 ChatGPT Work、Codex 向 Pro、Enterprise、Business Premium 开放,并上 API、Microsoft Azure 和 AWS Bedrock。
3. 费马大定理 Lean 4 机器证明完整开源
Anthropic 发布基于 Lean 4.33.1 与 Mathlib 的完整机器检查证明,遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 路线,以 Apache 2.0 开源。
4. GPT-6 Astra 登顶 Code Arena: WebDev
Astra (Max) 以 1797 分登顶,领先第 2 名 Claude Fable 5.1 (Max) 35 分、第 3 名 Claude Opus 5 (Max) 的 1688 分。
