TypeSafe AI

TypeSafe AI

TypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software. Try our first System One Model, Jev, in early access.
44

我们发布了 Jev 1.14.0 及面向梦想家的实验特性

TypeSafe 发布 Jev 1.
14.
0，并开放三项"危险区"实验能力：图像输入、新型 box 类型和更长上下文。
16 天前
59

TypeSafe A 轮融资 8.7 亿美元，估值 75 亿美元

TypeSafe 完成 8.
7 亿美元 A 轮融资，估值 75 亿美元，由 Andreessen Horowitz 领投，Sequoia、DCVC 及多位天使投资人跟投，Martin Casado 加入董事会。
公司称约三分之一的《财富》500 强已在使用其核心产品 Jev，累计为客户节省数百万美元的生产成本，并将补齐企业级功能。
21 天前
32

TypeSafe 宣言：打造可组合的 AI，而非上帝

TypeSafe AI 发布宣言，主张当前 AI 瓶颈不是"通用智能"本身，而是智能难以被组合调用。
核心观点：现有多数 AI 按 RLHF 训练成"面向人类的助手"，因此需要人在环中；
而软件系统一直依赖简单逻辑、可审计的分层抽象，作者希望把 AI 做成程序员可像调用数据库查询一样调用的"语义判断原语"，与精确计算分工。
42 天前
22

最苦涩的教训

作者从 Sutton 的"苦涩教训"（算力/搜索胜过手工算法）出发，提出一个更"苦涩"的排序：选对任务 > 数据 > 算力 > 算法。
游戏之所以让"算力为王"显得直观，是因为任务目标明确且数据可通过自博弈无限生成；
但在真实世界，ML 提升 reward 还是降低 loss，前提是有人先定义对的目标。
42 天前
68

Jev：比现有前沿模型便宜 40-400 倍、快 20-200 倍的新型模型

TypeSafe AI 发布首款 "System One" 模型 Jev，面向高速结构化决策而非文本生成。
核心卖点：并行采样（非逐 token），端到端 70-500ms，输入 $0.
042/百万 token，输出免费；
45 天前