今天的主线很清晰：AI 正从“模型能力”转向“基础设施、代理系统与商业化规则”的全面竞争。软银、微软、OpenAI、Salesforce 和 Meta 的动作显示，算力、桌面代理、可穿戴设备与企业工作流正在被重新定义，但安全、定价和真实生产力也开始受到更直接的检验。
今日主题
AI 竞争已经不再只看模型分数，而是看谁能掌握算力、把代理嵌入工作流，并把产品变成可持续收费的基础设施。与此同时，围绕安全隔离、定价方式和真实效率的质疑，也在同步升温。
头条：算力与基础设施继续前置
1. 软银计划在法国建设最高 750 亿欧元数据中心（#2157）
软银宣布将在法国投资最高 750 亿欧元，目标新增最高 5 吉瓦容量，第一阶段预计到 2031 年在上法兰西大区实现 3.1 吉瓦。这个项目是其在欧洲最大的 AI 基础设施投资，也把法国推向争夺 AI 枢纽位置的前台。
代理化工作流：从编码到桌面自动化
2. Salesforce 口径中的“代理式开发”提速（#2161）
Salesforce 称，借助 Anthropic 的 Claude Code，迁移 33 个 API 端点的工作从估算 231 人日缩短到 13 天；公司还声称开发者产出上升、事故下降。不过，这些数据都来自 Salesforce 自身监控，尚未经过独立审计。
3. OpenAI 将 Codex 扩展到 Windows 11（#2167）
Codex 现在能在 Windows 上自主操作桌面应用、文件和资源，并支持通过手机远程启动或监控任务。这让 Codex 从“写代码工具”进一步走向通用电脑代理。
4. 微软与英伟达被曝推进本地 AI 代理电脑（#2165）
报道显示，双方正准备展示以英伟达芯片为主处理器的 Windows 电脑，并强调本地运行代理能力。若落地，这可能把硬件、Windows 和代理式工作流更紧密地绑在一起。
安全与隔离：代理越强，边界越重要
5. Anthropic 详解 Claude 的沙箱隔离（#2158）
Anthropic 罕见地公开了 Claude.ai、Claude Code 和 Cowork 的 containment 设计，包括 gVisor、Seatbelt、Bubblewrap、完整虚拟机、文件系统边界和出站网络控制。这类细节对理解“模型即使出错，也能被限制在多小范围内”至关重要。
6. 共享聊天被滥用于传播恶意软件（#2160）
攻击者开始利用公开分享的 ChatGPT 和 Claude 对话托管恶意诱饵与指令，并借助搜索广告放大传播。问题不在模型本身，而在公开分享机制被包装成可信网页后，反而成了社会工程入口。
生产力争议：更快，还是更贵、更难管
7. GitHub Copilot 转向 token 计费，引发开发者反弹（#2163）
从 6 月 1 日起，Copilot 将从固定订阅改为按 token 用量计费。开发者担心月度成本会从几十美元跃升到数百甚至数千美元，这也是整个 AI 工具行业向“用多少、付多少”转型的缩影。
8. 开发者对 AI 的依赖，未必等于更高效率（#2164）
TechCrunch 汇总的研究和案例都指向同一问题：AI 可能让初稿更快，但调试、审查和维护成本也在上升。METR 的经验尤其说明，开发者甚至不愿在没有 AI 的情况下参与对照实验。
9. 研究显示：更“有帮助”的聊天机器人更不像人类（#2159）
大规模研究发现，后训练越强调有用性，模型越不擅长模拟真实人类行为；这一偏差在新一代模型上更明显。对于行为研究、政策模拟和临床训练来说，这意味着“好助手”和“好模拟器”可能并不是同一个目标。
研究、工具与新界面
10. Pyodide 让 ASGI 应用在浏览器中运行（#2162）
Simon Willison 演示了如何用 Pyodide + service worker 在浏览器内运行 Python ASGI 应用，并展示了可工作的 Datasette 1.0a31 原型。它为浏览器内 Python 应用的能力边界打开了新路径。
11. 2026 浏览器大战继续升温（#2171）
AI 浏览器、隐私浏览器和自动化浏览器正同时争夺入口：Comet、Dia、Neon、Atlas、Aside 等产品把“浏览器”从渲染工具变成任务执行平台。浏览器正重新成为 AI 产品分发的关键战场。
硬件与平台的外延扩张
12. Meta 被曝加码可穿戴设备路线（#2156, #2170）
泄露备忘录显示，Meta 正在推进 AI 吊坠、扩展眼镜产品线，并考虑企业订阅“Wearables for Work”。这说明 Meta 试图把可穿戴设备变成更完整的 AI 平台，而不是单一硬件实验。
其他值得注意的信号
13. 陶哲轩谈 AI 与数学分工（#2166）
他认为，只有当问题建模、策略、执行和验证都被自动化推进时，AI 才可能真正改变数学研究的组织方式。核心约束不是“会不会想”，而是“能不能验证”。
14. AI 虚拟人带着刻板印象做社交电商（#2172）
The Verge 报道了 TikTok、Facebook 和 Instagram 上的 AI 网红账号如何用煽情脚本和种族化人设推销代发货商品。它揭示了 AI 生成内容正在被更深地嵌入欺骗性商业模式。
15. SpaceX IPO 的叙事化估值争议（#2169）
评论文章把 SpaceX 传出的超高估值 IPO 描述为一次高风险的叙事交易，提醒市场别把情绪当基本面。即便这条线与纯 AI 不完全重合，它仍反映了当前科技资本市场的投机温度。
一句话结论
今天的新闻把同一个问题讲得很清楚：AI 的下一阶段，不再只是“更聪明”，而是“更深地嵌入基础设施、工作流和商业模式”；而真正的分水岭，将由安全边界、成本结构和可验证的生产力决定。
