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

今日判断

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

快速扫一眼

板块	发生了什么	读者该跟进什么
大公司与产品	美国联邦法官拒绝 xAI 暂停明尼苏达州「去衣」应用禁令的请求，禁令可以先执行，诉讼继续。1	生成式产品的内容安全，不再只是平台政策问题，也会直接变成上线范围和诉讼成本。
创业与投资	Dealroom 统计显示，伦敦 AI 初创公司 2026 年迄今融资 120 亿美元，占伦敦全部初创融资 147 亿美元的大部分。2	看资本是否继续流向少数大额交易，以及剩余公司能否拿到下一轮和客户收入。
前沿研究与治理	OpenAI 发布由内部 Astra 版本生成的十项数学与理论计算机科学成果；欧盟 AI Act 进入实施、监督和执法阶段。3 4	研究要看证明能否被独立复核，企业则要把透明度、日志和责任人放进部署计划。

大公司与产品

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

接下来观察

xAI 案件：看法院后续如何界定「去衣」应用的监管范围，及其是否影响其他生成式图像产品。
伦敦融资：看 120 亿美元中有多少转化为客户收入，而不是只停留在少数大额交易。
Astra 成果：看论文、Lean 证明和外部复核能否把公司发布的结果变成可重复的学术证据。

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