Infinitum

07-04日报 | 特斯拉Optimus投产、优必选U1发售、杨立昆创办AMI Labs、Pegasus入侵欧洲议员

来源：32 个引用生成：2026/07/05 06:22

内容

声明：完全使用AI生成，可能存在错误，需谨慎甄别。

摘要

2026-07-04 AI 领域呈现多线并进格局：特斯拉Optimus弗里蒙特工厂量产线曝光进入试运转；优必选U1仿生机器人单系列订单破 1.3 万台、Ultra 版 99 万元；图灵奖得主杨立昆创办 AMI Labs 押注世界模型与机器人；Citizen Lab 披露欧洲议会议员两度遭 Pegasus 零点击漏洞入侵。值得关注：硅谷 AI Token 账单已吞噬约三成员工薪资，代理成本治理与编排取代"卷模型"成为新焦点。

热点事件

Citizen Lab 披露欧洲议会议员两度遭 Pegasus 零点击入侵

Citizen Lab 取证分析显示，欧洲议会 PEGA 委员会成员、希腊籍议员 Stelios Kouloglou 的 iPhone 于 2022 年 10 月与 2023 年 3 月两度遭 Pegasus 间谍软件入侵，系该委员会首位被公开确认的受害者。攻击利用苹果智能家居软件中已修补但未更新的零点击漏洞，无需用户操作即可窃取短信、位置等隐私数据。Citizen Lab 未明确归因具体国家，但指出入侵使用与此前针对欧洲记者相同的 Pegasus 加载邮箱地址，暗示获得 NSO 集团授权。Kouloglou 谴责此举"是对法治的直接攻击"，并计划起诉 NSO 集团。

重点： 欧洲议会议员遭国家级间谍软件入侵

来源：展开 2 条收起 2 条

优必选 U1 仿生人形机器人发售，Ultra 版 99 万元订单破 1.3 万台

优必选旗下消费级品牌「优世界」近日正式发布超仿生人形机器人 U1 系列，其中 U1 Ultra 男版售价 99 万元、女版 88 万元，全渠道订单累计突破 13,361 台。该系列搭载自研情感大模型与三层仿生皮肤结构，Ultra 版具备 62 个主动自由度，被官方称为目前唯一具备规模化量产能力的全尺寸超仿生人形机器人。创始人周剑同步发布"人机共生战略"，推动人形机器人从工业场景迈向消费级情绪陪伴市场。Lite 版 11.98 万元、Pro 版 16.98 万元，将于 9 月 16 日启动首批交付。

重点： 高端仿生机器人切入消费级情绪市场

来源：展开 2 条收起 2 条

特斯拉曝光 Optimus 量产线，弗里蒙特 Model S/X 产线改造投产

特斯拉CEO 马斯克通过社交媒体曝光由弗里蒙特工厂原 Model S/X 产线改造而成的 Optimus 人形机器人生产线，确认该产线已进入运转阶段。Optimus 包含超 1 万个独特零部件，由于所有技术均为全新开发，马斯克明确表示量产初期爬坡将极其缓慢，与造车经验有本质区别，年内精确产量难以预测。根据特斯拉产能规划，低产量启动后预计要到 2027 年才实现全面大规模量产，此举标志着特斯拉从汽车制造向具身智能制造转型。

重点： 特斯拉具身智能战略落地关键一步

来源：展开 3 条收起 3 条

图灵奖得主杨立昆创办 AMI Labs，押注世界模型与机器人

图灵奖得主 杨立昆（Yann LeCun）宣布创办新公司 AMI Labs，致力于开发更具灵活性的 AI 系统，将更多的世界模型与常识推理引入机器人行业。杨立昆长期主张 LLM 路线不足以通向真正的 AGI，JEPA 与世界模型才是下一代 AI 的关键路径，本次创业被视为其系统性验证技术路线的重要载体。AMI Labs 的融资规模、团队构成与首批产品时间表尚未披露，但凭借杨立昆在 Meta 与学界的深厚影响力，已引发业界对非 LLM 路线新一轮押注的关注。

重点： 顶级学者下场押注世界模型路线

来源：展开 1 条收起 1 条

变更与实践

特斯拉设员工每周 AI 支出 200 美元上限，7 月 6 日生效

特斯拉上月通知员工，将从 7 月 6 日 起对内部 AI 支出设定每周 200 美元使用上限，员工如需超额需获得管理层批准。该限额不包括 xAI 产品测试版。报道指出，特斯拉工程师此前每周消耗的 AI 词元价值高达数千美元，此次限流政策意在遏制内部 AI 使用成本的快速增长。这与近期 Meta、Uber 等多家硅谷公司收紧 AI 支出的趋势一致，反映企业级 AI 成本治理正从政策口号进入具体执行阶段。

来源：展开 2 条收起 2 条

Mistral 开源 Leanstral 1.5，主打 Lean 自动证明与形式化验证

Mistral 发布 Leanstral 1.5（Apache-2.0 许可），这是一款围绕 Lean 交互式定理证明语言 的开源模型，主打自动化证明与形式化验证能力。官方演示中，该模型在 Rust 的 varinteger 库里发现 U64 溢出边界 bug：Std.U64.MAX 处 (value + 1) 发生溢出，可能导致 debug 模式崩溃或 release 模式静默数据损坏。HN 评论分化：部分用户认为极值 bug 属基础 QA 范畴；也有人用其他模型复现了同一问题。整体延续 Mistral 一贯的开源、低价、欧盟身份策略，专注细分场景而非冲击通用对话 benchmark。

来源：展开 3 条收起 3 条

微软合并企业/消费版 Copilot，AutoPilot 智能体额外收费

微软宣布将合并企业和消费者版本的 Copilot，移除部分低频功能，加速布局超级 AI 应用。后台自动运行的 AutoPilot 将收取额外费用，延续订阅 + 增值的混合变现模式。这是微软继 GitHub Copilot、Copilot+ PC 之后，将生成式 AI 助手推向"全能超级应用"的最新动作，意在正面迎战 OpenAI、Anthropic 各自的超级 App 战略。对于已使用 Copilot 的企业用户，本次合并可能影响现有 license 计价方式与可用能力边界，建议关注后续官方的迁移与计费细则。

来源：展开 1 条收起 1 条

安全与风险

Ubuntu 团队用 TLA+ 追踪 SQLite WAL 模块 16 年潜伏 bug

Ubuntu 博客发布文章，介绍如何用 TLA+ 形式化规格语言对 SQLite 的 WAL 机制进行建模，并配合 TLC model checker 穷举状态空间，成功追踪出一个潜伏 16 年的 bug。TLA+ 由 Leslie Lamport 设计，文章在 HN 引发讨论：一是形式化规格比纯测试更容易捕获长期潜伏的并发与状态机错误；二是受限于 Rice's theorem，完整翻译到 Lean 交互式定理证明器并不现实；三是社区正出现 tlaplus-process-studio 等可视化建模工具。该实践为关键基础设施的形式化验证提供了新范式。

影响： SQLite 数据库用户、嵌入式与开源数据库维护者

建议： 关注 SQLite 官方补丁升级，复杂并发场景考虑 TLA+ 辅助验证

来源：展开 1 条收起 1 条

MSI Center 本地提权漏洞，攻击者数秒可获 Windows SYSTEM 权限

MSI Center 被披露存在本地提权漏洞：攻击者可利用程序内的 pipe 问题在数秒内将普通权限提升至 Windows SYSTEM 级别。研究者报告后仅两天 MSI 即准备补丁，响应速度较快，但披露流程不透明。另有研究者透露多年向 Google、ASUS、AMD、TP-Link、Netgear、MSI 等厂商提交漏洞，累计 bug bounty 仍为 $0。评论批评此类控制软件臃肿难用，主要功能仅为关闭 RGB 灯效，且依赖 3DES、Inno Setup、NSIS、ACPI/WMI 等老旧技术栈，被视为安全红旗。

影响： MSI 笔记本/主板用户、本地物理访问场景

建议： 尽快安装 MSI 官方补丁，限制非管理员账户的本地执行权限

来源：展开 1 条收起 1 条

开源与工具

Immich v3.0 正式发布，引入自动化 Workflows 与视频 HLS 支持

Immich v3.0（最新版 v3.0.1）于 7 月 2 日正式发布，这款被广泛视为 Google Photos 替代品的自托管照片视频管理工具 GitHub 星标已达 105k。v3 带来移动端非破坏性修图、自动化 Workflows（预览版）、全新 Web 视频播放器与 HLS 流媒体支持，以及改进的 Android/iOS 后台备份逻辑，新增"最近添加"页面与图库完整性检查工具。需要注意：v3 不再支持 pgvecto.rs，旧用户需迁移至 vectorchord。

适用场景： 个人/家庭照片视频自托管、可替代 Google Photos 的隐私优先方案

来源：展开 2 条收起 2 条

谷歌开源 chrome-devtools-mcp，让 AI 代理实时调试浏览器

谷歌开源智能体调试工具 chrome-devtools-mcp，解决 AI 智能体难以调试网页的痛点，让开发者能实时监控浏览器状态、捕获网络请求与 DOM 变化。该项目隶属于 Chrome DevTools 家族，GitHub 上获得约 45.4k 星。随着 AI Agent、Playwright 自动化和 MCP 生态的发展，浏览器侧的可观测性正成为关键基础设施；该工具让 LLM 在执行网页任务时具备可视化、可验证的反馈链路，缩小 Agent 与真实浏览器状态之间的语义鸿沟。

适用场景： AI Agent 浏览器自动化、前端测试与调试、可观测性

来源：展开 1 条收起 1 条

GitHub 上线代码仓库刻录 CD-ROM 实体光盘服务

GitHub 宣布推出代码仓库刻录 CD-ROM 实体光盘服务，用户可将公开仓库的代码以实体光盘形式保存、分享或传承，让代码真正以物理介质留存。该服务为限量提供，目前已开放预登记表单，填表并不保证能获得，配送因地区而异。GitHub 同期启动限量 1000 张代码光盘赠送活动，申请窗口为 7 月 2 日至 7 月 6 日。此举被视为对 GitHub Archive Program 传统的延续，在索尼宣布停产光盘的同周引发行业关注。

适用场景： 代码存档、离线传承、收藏与极客文化

来源：展开 2 条收起 2 条

数据与洞察

75 年研究：全球极端热应激持续加剧，多 10 亿人受 UTCI≥46℃ 冲击

《Nature Climate Change》一项研究分析了 1950–2024 年共 75 年的全球热应激数据，结果显示无论白天、夜间还是昼夜连续时段，热应激在频率、强度和持续时间上均全线走高。相比 1970 年代，当前多出约10 亿人至少经历一天 UTCI≥46℃ 的极端热应激。最热夜晚 UTCI 升温速率达每十年 0.32℃，快于白天的 0.27℃。原因除城市热岛外，更关键在于湿度上升与云量增加阻碍夜间地表辐射冷却。亚热带地区首当其冲，西班牙、葡萄牙、意大利、法国体感温度较 1970 年代升高约 5℃。

数据： 约 10 亿人多经历一天 UTCI≥46℃；最热夜晚升温每十年 0.32℃

意义： 气候变化已进入体感可感阶段，城市规划、医保与农业政策需系统性应对

来源：展开 1 条收起 1 条

硅谷 AI Token 账单失控：SemiAnalysis 内部支出已占薪资 30%

硅谷正经历 AI 经济学最撕裂的阶段。SemiAnalysis 内部大模型 Token 支出已占员工总薪资的 30%，人均月消耗近 50 亿 Token，但换来数倍产出杠杆。黄仁勋在 GTC 上放话：年薪 50 万美元的工程师年底 Token 消费不到 25 万他会"抓狂"。Uber 推广 Claude Code 后使用率从 32% 飙至 95%，年度预算提前花完，每位员工被设每月 1,500 美元上限；微软则因成本失控取消大部分 Claude Code 许可证，转向自家 GitHub Copilot。Gartner 预测 2030 年万亿模型推理成本将下降超 90%，但 Goldman Sachs 首席经济学家直言AI 对经济的实际影响到目前为止基本为零。

数据： Token 占薪资 30%；Uber 推广后使用率从 32% 升至 95%；MIT 视觉类岗位仅 23% 场景 AI 比雇人划算

意义： 企业 AI 落地已从"卷模型"进入"卷成本与编排"阶段，单次推理降价无法对冲总拥有成本

来源：展开 1 条收起 1 条

欧盟拟于 9 月公布未成年人社媒禁令，门槛与落实方式未定

欧盟委员会预计今年 9 月公布在欧盟范围内禁止未成年人使用社交媒体的计划，主席冯德莱恩计划 9 月 16 日在欧洲议会发表年度「盟情咨文」时宣布相关建议，欧盟各成员国已获悉具体内容。一个未成年人上网安全研究咨询小组预计本月 13 日提交相关报告为欧委会提供建议，目前尚不清楚年龄门槛及计划具体落实方式。欧盟各国政府已就如何实行社媒禁令提出不同方案，包括彻底限制特定年龄以下未成年人使用或要求未成年人获得家长同意。

数据： 未成年人咨询小组报告 7 月 13 日提交；冯德莱恩 9 月 16 日发表年度盟情咨文

意义： 欧盟监管从"内容审查"延伸至"年龄与访问控制"，可能成为全球社媒治理模板

来源：展开 1 条收起 1 条

其他值得看

中国团队首创百亿参数细胞世界模型

LLM-JEPA 架构细胞世界模型，近四亿数据训练。

来源：展开 1 条收起 1 条

光象科技完成数亿元天使轮融资

清华孵化具身智能公司，发布 Phi-Bot X1。

来源：展开 1 条收起 1 条

韩国推出 312 万亿韩元产业投资计划

SK、三星等巨头跟进，重押半导体与 AI。

来源：展开 1 条收起 1 条

Cycle 推出欧盟控制平面

主权云辩论持续，可降低管理延迟超 70%。

来源：展开 1 条收起 1 条

NASA 发射 LINK 救援 Swift 天文台

机械臂捕获后再送回 600 公里安全轨道。

来源：展开 1 条收起 1 条

索尼宣布 PS 新游戏 2028 年起停产实体光盘

AI 数据中心需求推动内存涨价成最后一根稻草。

来源：展开 1 条收起 1 条

腾讯研究院发布 AI 每周关键词 Top50

扫描全球 AI 产业六大领域动态，值得扫读。

来源：展开 2 条收起 2 条
← 上一篇07-03日报 | Anthropic自研AI芯...下一篇 →07-05日报 | 豆包千问下线智能体、Clau...