淡日无爆点，OpenAI 拟让美政府持股 5%

据《金融时报》，奥特曼提出向美国政府让渡约 5% 股权，以缓和与特朗普政府的紧张关系、平息公众对 AI 的反弹。

月之暗面开源权重模型 Kimi K2.7 Code 成为 GitHub Copilot 模型选择器中首个开源权重选项，托管于 Azure，先向 Pro/Max 灰度。

欧盟法院驳回谷歌上诉，维持其因 Android 捆绑滥用市场支配地位而被处的约 41 亿欧元（约 47 亿美元）反垄断罚款。

据彭博报道，Meta 计划新设云业务，将自建 AI 集群的富余算力对外出售，切入云服务市场与 AWS、微软竞争。

Anthropic 官网公告 Fable 5 于 7 月 1 日全球重新上线；同期联合亚马逊、微软、谷歌等提出跨行业越狱严重性评分框架。

F-Droid 撰文抨击谷歌新推的 Android Developer Verifier：以系统服务预装、无法关闭，将拦截安装未经谷歌集中审核开发者的应用。

Cursor 更新其 CursorBench 3.1 编码评测，用于衡量前沿模型在真实代码库中的编辑与修复表现，供开发者横向对比模型。

一篇重新流传的分析引用 METR 随机对照试验：资深开发者用 AI 编码工具后主观感觉提速约 20%，客观计时却慢约 19%。

Evan You 的 VoidZero 推出 Vite+ Beta，将测试、打包、格式化等前端工具整合进统一工具链，进入公开测试阶段。

亚马逊称其 Leo 低轨卫星在轨数量已达 396 颗，足以启动商用互联网服务，正式对标 SpaceX 的 Starlink。

Bhavin Turakhia 自投 3000 万美元创办 Neo，以 AI 原生方式重做办公套件，正面挑战微软 Office 与谷歌 Workspace。

Snorkel 开源 Senior SWE-Bench，以资深工程师的验收标准评测编码 Agent，考察其在复杂真实任务上的端到端表现。

Meta 对其智能眼镜的进阶功能改为订阅收费：硬件之外，用户需付费才能解锁最先进的‘扩展访问’能力。

Latent Space 现场综述 AI Engineer World's Fair：主舞台围绕 Autoresearch 循环展开，讨论自动化研究与人类能动性之间的张力。

TechCrunch 报道一名用户用 OpenClaw、Claude code 加 Instagram 搭建自动脚本批量搭讪，把 AI Agent 用到了约会交友上。

David Bessis 撰文探讨当 AI 能批量产出数学证明，‘定理’本身的稀缺性与价值将如何被重估，数学工作的重心随之转移。