Musk v. Altman 陪审团今天开审！

本期覆盖 2026-05-17（周日）。

周日消息不多，但有一件事值得专程等着看：Musk v. Altman 九人陪审团今天（5/18，周一）正式开始审议。此外，Vercel Labs 推出了一门设计理念颇为特别的实验性编程语言，还有一条芯片圈资金流向的快讯。

① Musk v. Altman：陪审团今天开审，Altman「可信吗」成核心问题

法庭最终比的是谁更值得信。

5 月 14 日结案陈词收尾，九人陪审团将于今天（5/18，周一）正式开始审议。1 周日是审判空窗期，无新备案，无法官命令。

结案陈词本身戏剧性不低。Musk 的律师 Steve Molo 没有出现——Musk 本人也没有，他随 Trump 代表团前往中国，错过了自己起诉的这场庭审。OpenAI 律师 William Savitt 当场借题发挥：2

"Mr. Musk isn't here today. My clients are here. They're here because they care about this."
「马斯克今天不在这里。我的当事人在场，他们在场，因为他们在乎这件事。」

双方的核心分歧落在 Altman 的诚信上。Musk 一方抓住的关键点是：Altman 在国会证词中声称自己在 OpenAI「没有股权」，但实际上通过 Y Combinator 持有间接股权。Musk 律师将 Altman 和 Brockman 比作「站在一座摇摇欲坠的桥边、向徒步者保证安全的人——桥，建在 Altman 版本的真相之上」。2

OpenAI 律师的反击是：Musk「只关心赢，不关心非营利结构」。1

TechCrunch 的评论一针见血：信任问题不只盯着 Altman，「这是所有 AI 实验室都面临的根本问题，因为这些公司都是私有的，幕后还有很多东西」。1 有意思的是，Mashable 指出微软 2020 年的一条 Musk 推文——「OpenAI 基本上被微软控制了」——可能反过来伤 Musk，因为他在说了这话之后又等了整整三年才起诉。2

几件事情摆在今天：陪审团是否会认定 Musk 的诉讼时效已过——法官庭前文件中曾表示「极有可能」接受这一认定，如果成立，Musk 索赔的 $1500 亿直接失效。陪审团的裁决是建议性的，最终由法官 Yvonne Gonzalez Rogers 拍板。2

② Zero v0.1.2：Vercel Labs 造了一门「让 AI Agent 读代码」的语言

一门新的系统编程语言在 5 月 17 日发布了 v0.1.2。来自 Vercel Labs（负责 Next.js 和 Vercel 部署平台的工程实验部门），作者是 Chris Tate 和 Matt Van Horn，仓库名就叫 zero，GitHub 已有 1.7k stars。3

Zero 的定位是与 C/Rust 同级的系统语言，编译为原生可执行文件，二进制体积 <10 KiB。4 设计理念的核心只有一句话：从第零天起就让 Agent 能读取代码、解析诊断、执行修复——无需人类翻译。

做到这一点依赖两个具体机制：

结构化诊断：编译器错误以 JSON 格式输出（含 stable error code 和 typed repair ID），Agent 不需要解析人类可读的报错文本，可直接调用 zero explain 或 zero fix --plan --json 获取机器可消费的修复计划。4
capability-based I/O：函数签名里显式声明能访问哪些资源（World capability），编译器在编译时强制检查，不允许隐式全局访问。4

v0.1.2 的更新集中在底层：重建 borrow provenance 追踪、收紧 borrow conflict checking、修复一个 checker 回归问题。5 语言仍处实验阶段，编译器、标准库、语言规范均未稳定，不适合生产环境。

这个方向的特别之处在于：目前大多数 Agent 编程工具是在现有语言上加工具层（LSP、lint、代码生成），Zero 是直接在语言设计层解决「Agent 友好」的问题，把错误可解析性和资源可见性写进语言规范，而不是事后打补丁。MarkTechPost 的评价是「为 AI 工程师值得追踪的工作实验，而非生产依赖」。3

③ 快讯：Cathie Wood 大减 AMD/TSM，$7900 万押注 Cerebras

ARK Invest（Cathie Wood 旗下主动管理 ETF 基金，以重仓颠覆性技术著称）在 5 月 14-15 日完成一笔大额调仓：卖出台积电（TSM）约 $2460 万、Teradyne 约 $1240 万、AMD 约 $590 万，合计约 $4290 万，全数转入 Cerebras Systems（CBRS）。6 两天内 CBRS 累计买入约 $7900 万（5/14 买入 $3280 万，5/15 股价突破 $300 后加仓 $4640 万），来自旗舰基金 ARKK 和 ARKW。6

Cerebras（生产 Wafer Scale Engine 的 AI 芯片公司，以晶圆级大芯片绕开多 GPU 集群带宽瓶颈为核心卖点）今年 IPO 后涨幅已经翻倍。ARK 的逻辑是把台积电等成熟 AI 供应链标的换成「下一代平台」纯玩家——分析人士将其归为 Ark 经典操作：高确信、高集中、容忍前期大幅波动。6 风险也明摆着：客户集中度高，主要收入来自少数客户，其中重度依赖一家中东 AI 买家。