决策层被商品化，TypeSafe 仍然拿到 8.7 亿美元
TypeSafe AI 宣布拿到 8.7 亿美元融资，估值 75 亿美元，a16z 领投，红杉和老股东 DCVC 跟投，Martin Casado 进入董事会。公司把这轮叫 Series AI，通稿开头写着融资公告很无聊，数字放在最后一行。
距离 Jev 开放早期访问不到一个月。那篇我们写过：模型不生成文本，只在开发者定义好的选项上返回带概率的决策，输入每百万 token 0.042 美元。之后两周，社区把接口复现了两遍，Laya 放出 Apache 2.0 权重，SemIf 把 4B 模型塞进浏览器。
同一天，微软发布 Decision-1，拿 Qwen3.5-9B 后训练而成，在 36 项基准上准确率最高，P50 延迟比 GPT-6 Sol 快 35 倍。为了证明不是刷榜，微软把同一个请求扰动八种写法，测量判断翻转的比例，结果是 1.3%，选项描述改写或顺序打乱时一次都没翻转。
HN 上吵得最凶的就是这一点：一个几天内被复现、被大厂同天跟进的接口，凭什么值 75 亿美元。反驳里有一句说得清醒，TypeSafe 卖的不是模型权重，是把接口、术语和开发者体验一次讲明白的能力，Laya 的作者一年前就发过论文，只在 Reddit 上发了一条帖子，没人看见。也有人认为这是对监管的提前下注，将来最先被管住的，就是能直接决定动作的模型。
值得记住的是价格和资本的错位。决策层的单价在往零走，钱却全往这一层聚。