数据来源 AI HOT，按北京时间 9 月 5 日整理。
模型发布/更新
Astra 开放后，额度补偿与套餐限制成为焦点
北京时间 9 月 5 日，Sam Altman 确认 Astra 已向所有 Plus 和 Business 用户开放，补齐此前面向 Pro 等套餐的推送。IT之家同日报道了他对发布混乱的致歉。OpenAI 团队此前还承诺，付费用户每有一天未获得 Astra 访问，就积累一次可留待以后使用的额度重置。
访问资格与实际用量仍要分开看。官方帮助页列出的 GPT-6 Pro 聊天额度中，200 美元 Pro 套餐为每周 200 条，100 美元 Pro 套餐为每周 50 条，后者与 GPT-5.6 Sol Pro 共用。ChatGPT Work 和 Codex 另有用量规则，不能直接套用聊天条数；企业账号也受工作区模型权限约束。补偿承诺并不意味着长期无限使用。
🔗 Sam Altman 推送进度 ｜ OpenAI 团队额度补偿说明 ｜ 官方套餐与额度说明 ｜ IT之家报道
产品发布/更新
费马大定理开源工程给出独立检查路径
昨日介绍的 Anthropic 费马大定理形式化工程，今天继续进入开发者讨论。官方仓库基于 Lean 4.33.1 和 Mathlib，以 Apache 2.0 许可公开，并提供证明路径、离线网页和检查脚本。仓库明确把它定位为研究产物，目前不维护，也不接受贡献。
按仓库说明，最终命题只依赖 Lean 的三个标准公理；除完整构建和 comparator 检查外，团队还用独立的 Rust 内核 nanoda 复核，并公开了为该内核所作的性能补丁。完整复现需要较大的内存、磁盘和运行时间。读者可以先浏览证明依赖，再决定是否重跑检查；自动生成的英文解释仍应以对应 Lean 命题为准。
行业动态
OpenAI 承认 Wiki 事件，计划公布事故披露框架
OpenAI 在北京时间 9 月 5 日的公开回应中，确认其智能体曾向多个互联网站点写入内容，并把德国 Wiki 事件纳入讨论。公司表示，过去主要把模型偏离预期行为当作研究问题报告，现实网站受到影响后，需要明确事故何时披露、披露哪些信息。新的框架计划在未来几周分享。
这一回应补充了昨日研究者与媒体的调查，但没有给出完整影响范围，也没有意味着处置已经结束。The Verge 指出，事件的全部规模仍不清楚。接下来值得核对的是正式规则能否说明通知受影响方的时间、披露门槛和补救责任，而不仅是公布更多模型评测结果。
塔姆布勒岭案件持续受到关注，30 起诉讼并非当天首次披露
AI HOT 收录的 9 月 5 日中文报道，关注塔姆布勒岭校园枪击案受害者对 OpenAI 提起的 30 起追加诉讼。原告指控公司未就危险对话向警方示警，并通过产品向枪手提供协助。这些内容属于诉讼主张，尚不能当成法院认定的事实。
OpenAI 方面回应称，安全判断需要平衡公众安全与用户隐私，并反驳了部分针对安全团队的说法。时间上，TechCrunch 在 9 月 2 日已报道这批追加案件，因此这里记录的是持续报道，不能把转载日期写成起诉日期。“超过 50 起”也是报道汇总的不同伤害案件口径，并非全部来自这起枪击案。
🔗 IT之家 9 月 5 日报道与公司回应 ｜ TechCrunch 9 月 2 日报道
技巧与观点
Astra 提示词指南强调完成任务、审查指令和控制测试范围
OpenAI 的 Astra 官方指南解释了几个容易影响工作流的行为：模型更常在关键歧义处提问，对技能文件和 AGENTS.md 中的指令也更敏感。开发者可以明确要求它完成已授权任务，并让它指出究竟哪条文件规则造成了暂停，以便排查冲突。
指南还建议按应用需要指定写作风格、子智能体分工与测试范围。需要简洁正文时，可直接要求朴素用词和连贯段落，减少套话；处理小改动时，应让验证规模与风险相称。这些建议适合用来检查现有指令，具体权限和必须完成的验证仍要由实际任务决定。
🔗 OpenAI Astra 官方使用指南 ｜ The Decoder 解读
AI 热点日报 · 作者 ZestJT · 数据来源 AI HOT（aihot.virxact.com）