8月2日 AI 每日要闻 Top 5：亚马逊完成对 OpenAI 500亿美元投资，Astra 发布十项数学结果

本期覆盖 2026 年 8 月 1 日 08:30 至 8 月 2 日 08:30（北京时间）。5 条消息按行业影响力与新鲜度排序；欧盟 AI Act 一条按 8 月 2 日的规则生效与执行事件纳入，公告发布日期为 7 月 31 日。

一句话判断： 这笔交易的重点不只是 OpenAI 获得更多资金，而是云厂商把模型公司、云容量和芯片路线绑定得更紧。

Amazon 7 月 31 日提交的季度报告披露：公司第一季度购买了 OpenAI C 轮优先股 150 亿美元，第二季度又投入 137 亿美元；6 月 30 日之后，再投入承诺金额的剩余 213 亿美元。三笔合计 500 亿美元，对应的投资工具仍是 OpenAI C 轮优先股。1

PYMNTS 在北京时间 8 月 2 日凌晨报道了这份披露，并指出双方在 2 月宣布的安排还包括 AWS 与 OpenAI 的多年合作：AWS 将成为 OpenAI Frontier 项目的独家第三方云服务商，双方此前的基础设施协议规模最高可达 1000 亿美元、期限八年。这些合作条件来自此前公告，和本次 500 亿美元股权投资不是同一笔钱。2

需要留意时间口径：10-Q 只写「6 月 30 日之后」完成最后 213 亿美元，没有把完成日精确到 7 月 31 日。能确认的是，亚马逊已在报告中把总额写成完成状态；不能据此推断 OpenAI 已经上市，也不能把这笔投资直接等同于亚马逊已经获得相应利润。

一句话判断： AI 透明度要求从「公司应该说明」转向「产品上线时必须让用户看得出来」。

欧盟委员会公告称，2026 年 8 月 2 日起，委员会 AI Office 与各成员国主管部门开始执行 AI Act 的相关规则；同日启动的新透明度要求包括：聊天机器人和其他直接与人交互的 AI 系统要告知用户其正在与 AI 互动；由 AI 生成或修改的图像、视频和音频，尤其是深度伪造内容，要进行标识；相关内容还要带有更容易被机器检测的标记。3

这不是要求所有 AI 输出都显示同一种水印。公告针对的是特定 AI 系统和内容类型，并把「让人知道正在与 AI 互动」与「让平台或工具能识别生成内容」分成两类义务。欧盟委员会同时发布了 AI 生成内容透明度实践准则的首批签署方名单，超过 180 家机构参与其中。3

对产品团队来说，今天应先检查两件事：交互界面有没有把 AI 身份说清楚，以及图像、视频、音频生成链路能否留下机器可读的来源标记。公告宣布了执行启动，但具体系统是否落入某项义务，仍取决于产品用途、内容类型和规则中的适用条件。

一句话判断： OpenAI 把「模型能否做研究」从演示问题推向了可提交论文的形式，但这批结果仍需要外部数学共同体检验。

OpenAI 8 月 1 日发布文章，介绍由 Astra 内部版本生成的十项数学与理论计算机科学结果，涉及高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等方向。OpenAI 称，这些问题的主要结果至少已有十年没有进展，很多问题的停滞时间更长。4

文章还称，模型生成的每个论证都被形式化为 Lean certificate，总推理量按 GPT-5.6 Sol API 价格计算约为 2000 美元。形式化证明是一个重要的可核验接口，但它不自动等同于数学界已经接受结果：当前页面没有给出外部独立复核、同行评审或被相关领域研究者确认的证据。4

因此，今天更准确的读法是：OpenAI 公开了一批可被进一步检查的研究材料，并展示了 Astra 在长链条数学任务上的目标能力；至于这些结果是否全部正确、哪些会成为领域共识，还不能从发布文章本身得出结论。

一句话判断： 这起案件把生成式 AI 的伤害边界推入了州级立法与平台责任的直接冲突，但现在只有临时裁定，没有终局答案。

美国明尼苏达联邦地区法院拒绝了 xAI 阻止州法生效的临时限制令申请。法院关注到，xAI 在 7 月 29 日才提出申请，而该法将在 8 月 1 日生效，距离提交申请只有几天；法院据此认为，xAI 没有证明需要立刻采取临时措施。56

TechCrunch 报道称，xAI 认为这项禁令覆盖范围过宽，也存在限制更少的替代方案；法院这次并没有裁定这些实体争议谁对谁错，而是让禁令在诉讼继续期间先行生效。这里的「nudify」应用，指把人物图像处理成带有非自愿性色情意味的伪造内容，和普通的风格化图像编辑不是一回事。6

这条消息的行业影响在于，平台能否继续提供某类生成能力，不再只由产品政策决定，也会受到州法和临时司法救济结果的即时约束。后续还要看案件对法律适用范围、平台责任和言论自由争议作出什么终局判断。

一句话判断： OpenAI 正在用一轮新的模型梯度替换 Codex 的旧默认路径，开发者要把注意力从模型名称迁移到兼容性和实际工作流。

OpenAI 帮助中心的 Codex 计费说明新增安排：2026 年 8 月 31 日，GPT-5.4 和 GPT-5.4 mini 将在 Codex 中退役，适用对象是使用 ChatGPT 登录 Codex 的用户。官方给出的替代路径分别是 GPT-5.6 Terra 和 GPT-5.6 Luna。7

这次变化有明确边界：OpenAI API 访问不受影响，使用自有 API key 的 Codex 也不受影响。也就是说，受影响的是 ChatGPT 账号下的 Codex 模型选择与额度路径，不是 GPT-5.4 在所有 OpenAI 产品中的统一下线。7

对正在运行的代码代理来说，真正需要提前验证的是三件事：旧模型的提示词和工具调用是否在 Terra 或 Luna 上保持同样行为，长任务的成本是否改变，以及组织内部是否依赖了即将消失的模型名称。官方页面给出了替代模型，但没有在这条通知中承诺迁移后的输出完全等价。

今天的五条消息放在一起看，AI 行业的竞争面已经从「谁发布了更强模型」移到更具体的约束：亚马逊用 500 亿美元把资本和云基础设施押到 OpenAI 身上；欧盟和美国州法院把生成内容的透明度与伤害责任写进执行动作；OpenAI 则试图用 Astra 的数学结果证明模型可以进入更长链条的研究工作。开发者端的 GPT-5.4 退役提醒也说明，模型更新速度正在把兼容性管理变成日常工作，而不是一次性的升级项目。