OpenAI 美东时间 9 月 8 日官网宣布：一个未公开的内部模型（官方称能力显著超越刚发布的 GPT-6 Astra）协同约 1 万个智能体，88 小时生成 166 页完整证明并通过 Lean 4 形式化验证，给出否定性解答——光滑流体可在有限时间内形成奇点，宣称解决克莱数学研究所千禧年大奖难题之一（悬赏 100 万美元），并明确放弃申领奖金。但成果官宣前，纽约大学数学家巴克马斯特（Tristan Buckmaster）与 Anthropic 研究员 Alpöge 已发布四页声明，指控 OpenAI 听闻二人相近研究后抢跑，并质疑二人存在 Codex 里的研究草稿是否被模型接触；OpenAI 承认"无法排除去标识化数据曾帮助改进模型"。
Meta 美东时间 9 月 8 日发布个人 AI 智能体 Muse（内部代号 Hatch），运行在专用安全虚拟机 Muse Secure VM 中，可代用户完成网购、购票、预订行程、发邮件、卖车、填表付款等任务，入口覆盖独立 App、Muse.ai、WhatsApp 及 Meta AI 眼镜。这是 Meta 首次对消费级 AI 助手收取订阅费，最高档月费 100 美元，被扎克伯格定位为"个人超级智能"战略核心。值得注意的是，报道同步披露 Meta 内部对该技术管理敏感个人数据权限"存在管理不善的担忧"。
图像生成延迟最多降低 50%，中文乱码修复，新增手绘草图参考与图片内评论标注；API 拆分为 Sunburst 与 Flare 两档，全量用户可用。
双方跨多代合作开发数据中心定制推理芯片与最高 1.6T 光连接方案，高通将 AWS Bedrock 用于芯片设计；配套认股权证对应最高约 600 亿美元采购框架。
兴业证券、国泰海通、东吴、中金财富等券商智能体与基金、期货、保险类智能体同台分发，大模型平台开始充当强监管行业的智能体入口。
xAI 预告 9 月 12 日发布 2.1 万亿参数 Grok 4.7；9 月 24 日中美元首会晤前，AI 安全专项会谈仍待双方正式确认。
Lean 4 验证的是证明在给定公理体系内的逻辑自洽，但它不回答两个更前置的问题：证明的建模假设是否严格对应千禧难题原始陈述，以及否定性结论所依赖的构造是否经得起流体力学社区推敲。OpenAI 自己放弃 100 万美元奖金，说明连它都清楚这不是领奖的时候——奖金的认定权在克莱数学研究所。现在就写"AI 解开世纪难题"，是把新闻稿当成了判决书。
一万个智能体、88 小时、166 页、数百万美元算力成本——这套打法的本质是把科研变成可并行调度的工程任务。它同时透露了一个外界无法验证的信息：OpenAI 手里压着比 GPT-6 Astra 更强的模型，能力披露与产品发布之间出现"代差"。这类科研任务今后只有拥有十万卡级集群的实验室玩得起，前沿研究的门槛不是被 AI 拉低了，而是在资本维度被抬高了；开源生态与闭源前沿的差距，正从跑分蔓延到原创发现。
这句话在法律措辞上极克制，翻译成白话就是：你在 Codex 里粘贴的研究草稿、核心代码、未公开方案，有可能以去标识化形式进入模型改进管道。巴克马斯特团队的指控把这个长期含糊的灰色地带摆上了台面——他们是顶级数学家，用 AI 工具做前沿研究，然后怀疑自己的半成品"喂"出了竞争对手的成果。对在编程工具里处理核心资产的团队，这是数据合规红线问题：企业版的数据条款、关闭训练的开关、审计权，会被重新逐字审视。
当模型开始产出值百万美元、可署名、可专利的成果，"谁是发明者"立刻变成真金白银的问题：是部署模型的 OpenAI、是提示与调度的研究者、是产出训练数据的用户，还是被参考思路的同行？争议结构与此前的蒸馏指控、版权诉讼同构——都是训练数据来源与产出归属。中国最高法 9 月 7 日刚发布 AI 纠纷裁判意见，这类跨国争议未来大概率会在多个司法辖区被直接压测；OpenAI 放弃奖金是聪明的公关，但放弃奖金不等于放弃后续的专利与论文署名布局。