美国中期选举多项限制数据中心的措施获通过，科技行业称这是反特朗普而非反科技
美国中期选举中，10 个州共 44 项限制数据中心的措施有 38 项获通过，包括多项暂停令和禁令；得州民主党候选人 Gina Hinojosa 赢得州长选举，计划推迟项目直至通过涉及水、电、空气和产权的立法，Bloomberg 称约 13GW 数据中心容量因此面临风险。
推荐理由：选举结果与行业游说说法形成对照，读者可据此判断美国 AI 基建扩张面临的实际阻力。
#现象/趋势
Ars Technica · AI精选AI 评分8585
MIT Technology Review · AIAI 评分4040 逆向博弈论如何约束 AI 智能体
MIT 经济学家 Stephen Morris 等人在预印本论文中提出用“逆向博弈论”（机制设计）约束 AI 智能体，例如让模型预测另一个模型的答案来防止测试中故意藏拙。普林斯顿教授 Elad Hazan 则设想让模型轮流扮演解题者与审计者，作弊的解题者和失职的审计者都受罚。该思路假设智能体能对激励做出理性反应，而这一假设本身仍存疑。
MIT Technology Review · AIAI 评分4848 特朗普政府将 AI 更名为“Super Intelligence”，科技巨头与政府机构跟进情况如何
特朗普签署行政令，要求政府机构把“人工智能”改称“Super Intelligence”，并已出现在 ICE 的“SI-powered”监控招标和多数政府网站上。
MIT Technology Review · AIAI 评分5858 智能体网络已经到来：从语义网愿景到AI智能体重塑互联网
MIT Technology Review 梳理了从 Berners-Lee 的语义网愿景到当下智能体网络的演变，指出 Meta 的 Muse、OpenAI 的 Dots、Anthropic 的 Claude Duet 等智能体已获得邮箱和银行账户访问权限。
Import AIAI 评分6060 Import AI 478：数学形式化助力对齐、ProgramBench 与 Mirendil 展示 RSI 雏形
Import AI 第 478 期汇总了多项 AI 研究进展。AI 安全初创公司 Resolution 用智能体自动形式化了奇点消解相关数学内容，耗时约一周、花费约 13.5 万美元 token 费用，产出约 60 万行 Lean 代码。