AI行业核心动态：xAI遭遇明州禁令，伦敦资本与OpenAI数学成果转向硬约束

本期覆盖 8 月 1 日 08:00—8 月 2 日 08:00（北京时间）公开信息；欧盟 AI Act 另作为 8 月 2 日开始执行的制度背景。新信号集中在三条线上：xAI 的产品边界开始由法院决定，伦敦 AI 创业融资继续高度集中，OpenAI 则把模型能力推进到数学证明，但仍要把「模型生成」与「外部验证」分开看。

xAI 想阻止明尼苏达州针对「去衣」应用的禁令，先输了一个程序节点。美国明尼苏达州联邦法官拒绝了 xAI 的临时限制令请求，理由之一是公司在法律签署近三个月后、禁令生效前三天才提出申请；这份裁定并没有终结诉讼，禁令可以在案件继续期间生效。1

xAI 在诉讼中主张禁令范围过宽，并称存在更少限制性的替代方案。报道把案件放在 Grok 被用于生成非自愿性性化图片的争议背景下，但当前裁定只解决了「能否先暂停执行」的问题，不能直接推导出最终判决。对 AI 产品团队来说，内容安全的验收线已经同时包含模型行为、平台责任和地方立法。

TechCrunch 8 月 1 日的伦敦创业生态报道援引 Dealroom 数据称，伦敦 AI 初创公司 2026 年迄今融资 120 亿美元，而伦敦全部初创公司合计融资 147 亿美元。这是一个统计期为「2026 年至今」的生态数据，不是一笔新融资，也不能当成全欧洲 AI 融资总额。2

这个比例说明资金集中度仍然很高，但还没有回答两个更实际的问题：大额交易是否带来可重复的客户收入，以及没有进入头部名单的创业公司能否完成下一轮。投资人今天买的不是「伦敦有 AI」这一事实，而是少数公司能否把模型、算力或自动化流程变成持续收费的产品。

OpenAI 8 月 1 日发布 Ten advances in mathematics and theoretical computer science，称这十项结果针对至少十年没有主要进展的问题，涉及高维球填充、密码学、算术电路复杂度和理论计算机科学等方向。公司称，结果由内部版本的 Astra 生成，人类随后把论证整理成论文，模型再将每个论证形式化为 Lean certificate；按 Sol API 价格估算，寻找这些解法所需 token 成本约为 2000 美元。这些都是 OpenAI 对系统贡献、成本和正确性责任的自述，不等于外部同行评审已经完成。3

治理线也在同一时间点变得具体。欧盟委员会页面写明，8 月 2 日起，欧盟 AI Office 和成员国主管部门负责实施、监督和执法 AI Act；透明度规则也在 2026 年 8 月进入适用阶段，而部分高风险系统义务分别延后到 2027 年 12 月和 2028 年 8 月。对企业而言，今天要做的不是把所有规则都当成已生效，而是按系统类别核对适用日期、透明度说明和责任链。4