Jev 创始人
Diogo Almeida
他亲手写下了让 ChatGPT 成为可能的 RLHF 三阶段训练范式，又在两年后亲手押注了 $40M 来拆掉它。2026 年 9 月 15 日，他从两年 stealth 中走出来，发布了全球首个 "System One" 决策模型 Jev——不生成文本、不写代码、不聊天，只输出带校准概率的类型化决策。本文把他的个人履历、TypeSafe AI 的创业故事、Jev 的技术细节、RLCD 训练范式、性能争议与关键启示，一次摆开。
为什么这个人现在必须被读懂
Diogo Almeida 不是又一个离开大厂的 AI 创业者。他是 InstructGPT 论文的共同作者、GPT-4 Technical Report credits 中被官方列入 "Foundational RLHF and InstructGPT work" 的核心研究员。当一个亲手发明 RLHF 的人公开说 "ChatGPT 是一场奇怪的弯路"，并且用 $40M 和一款叫 Jev 的产品去押注替代方案——这件事的分量就远超普通的创业新闻。
围绕他的争议也因此格外尖锐:有人把 Jev 称为 "新一代工业 AI 的开端"，也有人犀利指出 "产业重新发现了分类器而已"。这是理解 2026 下半年 AI 走向的一把钥匙——AI 不止 System 2 一条路。
Diogo Almeida 是 InstructGPT 与 RLHF 的共同发明人,如今用 Jev + RLCD 去重新发明 RLHF——既是他最锋利的内部批评,也是他押上全部公信力的下一张答卷。
这份资料的阅读顺序
- 人物速览用一张 KV 卡读懂他是谁、关键数字、与 OpenAI 的关系。
- 履历时间线从里斯本到旧金山的 9 个关键节点,看清他从工程师到 RLHF 共同作者再到创业者的轨迹。
- OpenAI 4.5 年他在 post-training 团队具体做了什么,GPT-4 credits 原文怎么写的。
- InstructGPT 论文SFT → Reward Model → PPO 三阶段范式的奠基之作,以及他亲手写下的局限。
- 对 RLHF 的反思"Weird detour" 这句话到底什么意思,hallucination 为什么是目标函数层面的 bug。
- TypeSafe AI 创业三位联合创始人背景、两年 stealth 在做什么、价值观 "Build Prod, Not God"。
- $40M 融资DCVC 领投、$200M 估值,以及投资人到底在押什么。
- Jev 模型System One vs System 2、命名 Jevons 悖论的隐喻、并行采样架构。
- 三大 API 原语Choice / Score / Noul——把决策任务抽象成三种基础动作。
- RLCD 训练范式校准决策作为奖励信号,与 RLVR 并列的第三条路。
- 性能数据与争议193×/445× 是怎么算的、第三方验证、官方自评的合理质疑。
- 行业反应6 个质疑、4 个看好、Theo -Browne 与 Hacker News 怎么看。
- 关键启示AI 三层决策地图、RLHF 反思、AI 形态分化的 5 个判断。
人物速览 · 一页纸读懂 Diogo Almeida
他不是那种爱抛头露面的硅谷明星创始人。他很少发推,极少接受采访,过去两年几乎完全隐身。但他写下的论文,他参与训练的所有旗舰模型,以及他 2026 年 9 月放出的 Jev,正在重新定义 "AI 工业化" 这个词。
读这张 KV 卡需要抓住一个反差:他在 OpenAI 时是"让 AI 学会讨好人类"那一派的核心工程师;离开 OpenAI 后,他变成了"让 AI 不再讨好人类"那一派的旗手。同一个人,4 年时间,认知发生了一个 180° 的转弯——而且这个转弯不是嘴炮,是他亲自下场、用 $40M 去证明。
既是 RLHF 的共同发明人,也是 RLHF 最尖锐的内部批评者——这双重身份,是他所有商业说服力的根源。
履历时间线 · 从里斯本到旧金山
把他的履历串成一条线,可以看到一个非常清晰的轨迹:从工程师到研究员,从研究员到对齐派核心,从对齐派核心到反叛者。每个转折点都对应一篇论文或一次公开发言。
-
教育
Instituto Superior Técnico(里斯本) · 电子工程硕士学位 · 葡萄牙最顶尖的工程学院之一
-
早期
Enlitic · 医疗 AI 创业公司深度学习研究员 · 主要方向是胸部影像和临床 NLP
-
≈ 2018
Google Brain 研究员 · 共同作者 "Learned Optimizers" 系列论文 · 让优化器在不同 ML 任务间自适应
-
≈ 2019
加入 OpenAI · 任职 Research Scientist / Member of Technical Staff · 加入 post-training 团队
-
2022.03
InstructGPT 论文 发表(arXiv:2203.02155)· 13 位共同作者之一 · 提出 SFT → Reward Model → PPO 三阶段训练
-
2022.11
ChatGPT 发布 · Almeida 是 RLHF 关键贡献者 · GPT-4 Technical Report 2023.03 发表
-
2024 中
离开 OpenAI · 与 Erik Gafni(CTO)/ Sasha Sheng(COO)共同创立 TypeSafe AI
-
2026.09.15
TypeSafe AI 出 stealth · 公布 $40M 种子轮(DCVC 领投) · 推出首个 System One 模型 Jev
-
2026.09.16
开发者 Early Access 开放 · 在 AI Engineer World's Fair 2026 发表 "What's Next After RLHF?" 演讲
Almeida 在 OpenAI 的具体起止日期没有公开披露,本文根据公开访谈和融资材料推断为约 4.5 年。如有更准确信息,以 TypeSafe AI 官方公告为准。
OpenAI 4.5 年 · 参与 ChatGPT 的全部底牌
他是 GPT-4 Technical Report 和 InstructGPT 论文的共同作者,被官方列入 GPT-4 credits 的 "Foundational RLHF and InstructGPT work"。这不是名义上的挂名——他在 post-training 团队的具体职责,是把 RLHF 从研究论文变成 OpenAI 的生产管线。
他在 OpenAI 到底做什么
- Post-Training 团队核心成员 · 与 Jan Leike、Paul Christiano、Ryan Lowe、Long Ouyang 等对齐派元老共事
- 核心职责RLHF / SFT / Reward Modeling / 对齐管线 · 负责把研究方法变成可重复的工程流程
- 关键产品参与GPT-3 的指令微调、Codex 的对齐、GPT-4 的后训练 · ChatGPT 致谢名单成员
- 代表论文InstructGPT(2022 年 3 月)与 GPT-4 Technical Report(2023 年 3 月)
Foundational RLHF and InstructGPT work:
Long Ouyang, Jeff Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, Paul Christiano, Jan Leike, Ryan Lowe
注意 credits 的措辞——"Foundational" 这个词。这意味着在 OpenAI 官方视角里,Almeida 不是 "参与过 RLHF",而是 RLHF 的奠基人之一。这条 credits 一旦被读懂,他后面所有的发言(无论是赞美还是批判)都带着一种特殊的重量——他在批评的东西,有他亲手写下的功劳。
如果 RLHF 是 "好的",为什么它的发明人之一要花 $40M 去证明它有结构性缺陷?如果 RLHF 是 "有缺陷的",为什么 OpenAI 至今仍以这套范式作为生产主线?这个张力,是理解整个 2026 年 AI 走向的最关键背景。
InstructGPT 论文 · RLHF 三阶段范式的奠基之作
2022 年 3 月发表,arXiv:2203.02155,全称 "Training language models to follow instructions with human feedback"。这篇论文,是整个 ChatGPT 时代的训练范式蓝本。但 Almeida 现在认为,正是这套范式,把整个行业带进了一场 "weird detour"。
三阶段 RLHF 范式
- Stage 1 · SFT(监督微调)标注员写示范答案 → 训练 GPT-3 学 "该怎么回答"。这一步把通用语言模型变成 "听得懂指令" 的助手。
- Stage 2 · Reward Model(奖励模型)标注员对模型多个输出排序 → 训练一个 RM 来打分。这一步把 "人类觉得哪个回答更好" 变成可计算的奖励信号。
- Stage 3 · PPO(近端策略优化)把 RM 的分数当作奖励信号,用强化学习微调 LLM。这一步把 "听起来像好答案" 烧进模型参数里。
Long Ouyang · Jeff Wu · Xu Jiang · Diogo Almeida · Carroll L. Wainwright · Pamela Mishkin · Chong Zhang · Sandhini Agarwal · Katarina Slama · Alex Ray · Paul Christiano · Jan Leike · Ryan Lowe
看这个作者列表,你会发现一个有意思的"传承链":Christiano 是早期 RLHF 思想的提出者,Leike 后来成为 OpenAI Superalignment 团队的负责人,Low 是 RLHF 的核心实践者。Almeida 在这个名单里的位置——他既不是 senior 也不是 junior,是处在 "能把理论变成工程" 那一档的中坚力量。
亲手发明的 RLHF,亲手质疑
在 2026 年的演讲和访谈里,Almeida 公开说出了以下这些话。这是他对自己的反思,也是对整个行业的判断。
他的核心论点拆解
- RLHF 优化的是"看起来对"它的奖励信号是 "人类觉得哪个答案更好",这天然鼓励 overclaiming——说 80% 把握的话,可能其实只有 50%。
- 研究级数学模型 ≠ 能干客服同一个 RLHF 目标同时鼓励了 overclaiming 和 hallucination。o1 能解 IMO 几何,但同样的模型放在客服场景就会胡说。
- ChatGPT 是协助的好工具,不是自动化的好工具Copilot 场景人盯着模型,胡说一次人纠正一下;但生产自动化没有 "人盯着",一次胡说可能就是一封发错的邮件、一笔多扣的款。
- 预训练模型本身已经够聪明了真正的瓶颈不在 "模型不够大",而在 "后训练目标选错了"。换目标函数,比堆参数更有效。
RLHF 把 AI 训练成"会说好听的话的助手";Almeida 认为工业需要的是"会做对的事的零件"。这两件事不能用同一个目标函数搞定。
这种反思的特殊之处在于:它不是外行的指控,是发明人的自白。当 RLHF 的共同作者亲口说 "我参与发明的这个东西有结构性缺陷",它的说服力比任何外部批评都强。这也解释了为什么他能在融资时让 DCVC 毫不犹豫地领投——投资人买的不只是产品,是创始人对 RLHF 局限性的"first-party"判断力。
2024 创立 TypeSafe AI · 从 OpenAI 出走的下一步
Almeida 离开 OpenAI 的时间点很有意思——2024 年中。这正是 GPT-4o 发布、ChatGPT 用户量突破顶峰、整个硅谷都在欢呼 LLM 工业革命的时间点。在这个时间点选择离开,做一家 "不要聊天、不要生成文本" 的 AI 公司,本身就是一种最强硬的表态。
三位联合创始人
这个三人组合有几条值得注意:Gafni 是真正的 "生产 AI 工程师"——他不是研究员出身,而是连续创业者,从两家独角兽的早期一直做到自己创办公司。这种组合意味着 TypeSafe 不是一家 "发了 paper 就走" 的实验室,而是一家要把技术变成产品的公司。Sheng 则是 AI 工程师圈的核心人物——AI Engineer Foundation 执行董事意味着她在开发者社群里有极强的号召力,这对一家需要早期企业试点的公司来说是无价资产。
团队来源
- OpenAI · 后训练团队对齐派
- Google Brain · Learned Optimizers 派系
- Meta/FAIR · 多模态研究派系
- Stripe / Airbnb / Plaid / Docker · 生产工程派系
两年 stealth · 他们在做什么
- RLCD 训练范式从零搭建一条"校准决策"的训练管线,作为 RLHF 之外的第三条路
- 并行采样架构放弃自回归生成,改用 parallel sampler 一次前向产出全部输出——70-500ms 延迟的物理基础
- 三大 API 原语设计 Choice / Score / Noul,极简、强类型、可组合,配套 SDK / 评估管线
- 商业试点早期企业试点 · 2026 年 9 月开放 waitlist · 早期 demo 包含 Doom bot、机票预订、邮件分类等场景
强调"类型安全"——模型输出严格匹配 schema,无法生成 schema 之外的内容。这是 "零类型幻觉" 的技术基础,也是它和传统 LLM 最大的区别。
$40M 种子轮 · 估值约 $200M
2026 年 9 月 15 日,TypeSafe AI 出 stealth 同时公布融资消息。这是 2026 年 AI 应用层最大的种子轮之一,领投方是硅谷老牌 "硬科技 + AI" 风投 DCVC。
投资人逻辑 · DCVC 在押什么
DCVC 是硅谷极少数同时重仓 Anthropic 和机器人领域的风投。它的投资逻辑一直是 "押底层范式的转移,而不是押具体应用"——这一轮押 TypeSafe,意味着他们认为:
- "RLHF 是过渡" 这个判断成立· 押一个 RLHF 发明人亲手做的替代方案,公信力顶格
- "决策模型"是独立赛道· 不是 LLM 的功能子集,而是一类全新的、面向工业自动化的模型
- $40M Seed 是激进弹药量· 在 AI 应用层是非常规的弹药量,反映对这条赛道的赌注
$40M 不是为了"做出一款产品",而是为了"用 RLHF 发明人的公信力,把'AI 不止 System 2 一条路'这个叙事打进市场"。
Jev 模型 · 全球首个 "System One" 模型
2026-09-15 发布。灵感来自 Kahneman 《思考,快与慢》。Jev 永远不生成文本,只输出带校准概率的类型化决策。它的命名来自经济学家 William Stanley Jevons——"Jevons 悖论"说的是:效率提升反而导致总消耗上升。这暗示了 Almeida 对 Jev 的商业判断——便宜 200× 会让用量增加 200×。
System 1 vs System 2 · AI 也分快慢思考
- System 1 · 快、直觉、模式匹配 · Jev 抢占的赛道
- System 2 · 慢、推理、多步 · GPT-o1 / DeepSeek-R1 / Claude extended thinking 在做的事
现有所有 "旗舰 LLM"——GPT、Claude、Gemini、DeepSeek——都默认走 System 2 路线:多步推理、CoT、self-consistency、reflection。但 Almeida 认为这条路线对工业上 80% 的决策任务是过设计。客服意图识别、邮件分类、内容审核、风险评分……这些任务根本不需要"思考",需要的是"又快又便宜地做出准确判断"。这就是 Jev 要吃下的空白带。
Jev 的核心特征
- 永远不生成文本没有 chat、没有 prose、没有自由形式文本 · 不能写拒绝语 · 输出严格限定为 Choice / Score / Noul 三种
- 并行采样架构放弃自回归生成,改用 parallel sampler 一次前向产出全部输出 · 端到端延迟 70-500ms
- RLCD 训练目标奖励 = 模型自报置信度 ≈ 实际正确率 · 让"说有 90% 把握"在统计意义上真的 90% 准确
- 类型安全输出严格匹配 schema,无法生成 schema 之外的内容 · 这是"零类型幻觉"的技术基础
已知失败模式 · "Jaggedness"
Jev 1.13 文档中明确披露的能力边界——这是负责任的部分,值得每个潜在用户认真读:
三大 API 原语 · Choice / Score / Noul
Jev 把所有决策任务抽象成这三种基础动作,可在一个请求里并行组合。这种"极简原语 + 可组合"的设计哲学,是它与通用 LLM 最大的产品形态差异。
这三种原语的覆盖范围比你想象的要广。邮件分类是 Choice,客户满意度评分是 Score,内容是否违规是 Noul。退款决策可以拆成 "金额合理性 Score" + "是否符合政策 Noul" + "风险等级 Choice" 的组合。一次 API 调用,三个原语并行,毫秒级返回。
TypeSafe 不试图做一个 "什么都能做" 的模型,而是把 "决策" 这个动作拆到最原子,然后用类型系统把它们组合起来。限制带来可靠性。
一个并行调用示例
{
"inputs": [
{ "type": "Choice", "options": ["billing", "tech", "general"] },
{ "type": "Score", "scale": 5 },
{ "type": "Noul" }
]
}
// 单次请求内并行组合,一次前向 = 全部输出
// 端到端延迟 70-500ms,无自回归 tokenRLCD · 校准决策强化学习
Reinforcement Learning for Calibrated Decisions。这是 Almeida 给 Jev 设计的训练范式,与 RLHF、RLVR 并列为后训练领域的三条路。
三种后训练范式对比
| 维度 | RLHF | RLVR | RLCD(Jev) |
|---|---|---|---|
| 奖励信号 | 人类偏好排序 | 可验证正确性 | 校准误差最小化 |
| 代表模型 | ChatGPT / InstructGPT | DeepSeek-R1 / o1 | Jev |
| 适合任务 | 对话 / 协助 / 写作 | 数学 / 代码 / 定理 | 分类 / 路由 / 评分 / 判断 |
| 客观可验证? | ❌ 主观偏好 | ✅ 强验证 | ⚠️ 需大量 ground truth |
| 校准性 | 弱(鼓励 overclaiming) | 中(推理题正确即可) | 强(训练目标直接对齐) |
| 可被软件调用 | ❌ 需 prompt + 后处理 | ❌ 仍生成文本 | ✅ 原生 typed 输出 |
| 代价 | 人工标注贵 | 需要可验证题库 | 需要 ground truth 决策集 |
RLCD 的目标函数
让模型说 "我有 90% 把握" 时,这件事在统计意义上真的 90% 会发生。软件可以根据置信度把不确定的请求路由给人审。
minimize E [ (predicted_confidence − actual_accuracy)² ]
over (state, action, ground_truth)注意这个目标函数和 RLHF 的本质区别。RLHF 优化的是 "人类给哪个答案高分",这是个主观偏好的统计量;RLCD 优化的是 "模型自己说的把握和实际正确率的差",这是个客观校准误差。前者听人类的话,后者听数据的话。
为什么校准性比无幻觉更重要
校准性的工业意义在于:如果模型能可靠地报告 "我不知道",系统就能用传统 if-else 把高风险请求路由给人,整条流水线才有 SLA。换句话说,校准性让 AI 变成了一个可以被软件工程标准组件对待的对象,而不是一个不可预测的 "黑盒同事"。
RLHF 优化"听起来像对"·RLCD 优化"说自己对的时候统计上真对"。区别类似"网红"vs"计量称"——后者才能上生产线。
193× 更快 · 445× 更便宜 · 数字背后的真相
TypeSafe 在 9 月 15 日发布的 demo set 里给出了一组爆炸性数字:193.6× 更快、444.6× 更便宜。这是整个行业讨论 Jev 时绕不开的话题——是真突破,还是漂亮的市场话术?这取决于你看哪一份数据。
官方数字 · TypeSafe 自家测评
第三方验证 · Every 实测
Every(ai.dev)在 2026-09-17 做的独立验证。数字方向一致,但量级有差异:
| 项目 | TypeSafe 官方 | Every 实测 |
|---|---|---|
| 任务 | 结构化决策 | 信息抽取 |
| 速度 | 193.6× | ≈ 25× |
| 成本 | 444.6× | ≈ 580× |
| 对比基线 | GPT-6 Astra + Fable 5.1 | Claude(Fable 5.1) |
| 基准来源 | TypeSafe 内部 | Every 独立测试 |
速度方向一致,成本下降比官方还激进(580× vs 445×)。差异主要来自 "任务不同" + "基线模型不同"。但这些数字仍只适用于"结构化决策 / 信息抽取"这类 System 1 任务,不能外推到通用能力。
对官方数字的合理质疑
- 基准对比是"自己出题自己判"TypeSafe 自家设计 workflow evals · 对比基线是 GPT-6 Astra + Fable 5.1 的平均,而非 ground truth · 这种比较方式极易被选择性优化
- "零幻觉"说的是类型,不是事实Jev 不能生成 schema 之外的值 · 但可以选错一个合法选项 · 可以给出虚高的置信度
- "Frontier Model"头衔借用Hacker News 高赞评论:Jev 不能写代码、不能对话、不能写段落,凭什么自称 frontier model?
- 校准性有反例TypeSafe 自己披露:同一问题,概率 0.72 → 同一问法的反面却给出 0.47(1-0.72 应≈0.28)
- 没有技术论文截至 2026.09,TypeSafe 没有发布架构论文 · 一家由 RLHF 共同作者创立的公司,选择 "产品先于论文",这本身就是一个信号
193×/445× 是真实存在但需要限定场景的数字。把它当成"AI 比 LLM 强 200 倍"是误读;把它当成"在结构化决策这个窄赛道上,效率确实提升两个数量级",是准确的。
6 个真实 demo 场景
行业反应 · 4 个积极信号 vs 6 个尖锐质疑
Jev 在 2026 年 9 月引发的讨论,是当年 AI 圈最分裂的话题之一。支持者认为它打开了 "工业 AI 决策" 这条全新赛道,批评者认为它是 "产业重新发现分类器"。两边都有道理。
4 个看好
- Theo -Browne(t3.gg)公开站台 · "Jev is roughly as intelligent as a switch statement — and that's exactly the point." · 强调 System 1 定位精准,不抢 System 2 戏份,是一个清晰的赛道
- 工程师圈 HN 投票多数支持 · Hacker News 讨论中多位资深工程师表示 "我愿意付费试用" · 批评主要在 "framing",而不是 "技术不真"
- RLCD 训练范式本身成立 · 把校准误差作为奖励信号,这个思路在机器学习里早就有(temperature scaling / Platt scaling),TypeSafe 的贡献在于把它直接烧进训练目标
- 创始人公信力 · InstructGPT / RLHF 共同作者亲自做这件事,他对 RLHF 局限性的判断有最权威的发言权
6 个质疑
- 基准对比是自己出题自己判 · TypeSafe 自家设计 workflow evals · 对比基线是平均而非 ground truth
- "零幻觉"说的是类型,不是事实 · Jev 不能生成 schema 之外的值,但可以选错一个合法选项
- "Frontier Model"头衔借用 · HN 高赞:准确说法应该是 "在结构化决策上推进了速度/成本前沿",不是新 frontier
- 校准性有反例 · 同问题换一种描述,概率不一致 · 校准是聚合意义上的,不是逐条意义上的
- 没有技术论文 · 一家由 RLHF 共同作者创立的公司,选择"产品先于论文",这本身就是一个信号
- "产业重新发现分类器" · 部分评论员犀利指出:Jev 的本质就是深度学习时代的分类器 / 评分器,把 2026 年的 GPU 集群用 1990 年代的监督学习方式包装
AI 三层决策地图 · 找准 Jev 的位置
| 层级 | 代表 | 任务 | 延迟 | 成本 | 智能程度 |
|---|---|---|---|---|---|
| 系统组件 | 传统代码 / 数据库 | 确定性规则 | μs-ms | 极低 | 无智能 |
| System 1 | Jev / 分类器 | 分类 / 路由 / 评分 | 70-500 ms | $0.04 / MTok | 窄域强 |
| System 2 | GPT-o1 / Claude ext-thinking | 多步推理 / 数学 / 代码 | 3-60 s | $3-30 / MTok | 通用强 |
| 对话 / 创作 | ChatGPT / Claude / Gemini | 聊天 / 写作 / 协助 | 1-30 s | $3-15 / MTok | 通识强 |
Jev 抢占的是"传统代码太薄、System 2 太贵"之间的空白带——这是工业 AI 落地长期被忽略的一层。
从 Jev 看 AI 下一步 · 5 个关键启示
Jev 这个案例给整个 AI 行业带来的不只是 "又一款新产品",更是一组重新理解 "AI 是什么、AI 应该做什么" 的判断。
5 个启示
- AI 范式正在从"通用对话"走向"分层决策"不再所有任务都丢给一个 chat 模型 · System 1 / System 2 / 固定逻辑三层将长期共存
- "RLHF 不够用"的反思已经在主流内部发生RLHF 的发明者亲自提出 RLCD · 标志行业开始系统性反思对齐目标函数
- AI 产品形态正在分化聊天助手 · 决策引擎 · 多步推理 agent · 各有各的最优解 · "一个模型打天下"不再成立
- 校准性比"看着对"更值钱了SLA / 监控 / 自动化三件事都要校准性 · 这是 RLHF 几乎不优化、但工业必需要的指标
- 创业团队正在从 OpenAI / Google Brain 持续外溢TypeSafe 不是孤例 · Anthropic / Mistral / Safe Superintelligence / Thinking Machines 都是类似轨迹 · 大厂研究院正在变成新一代 AI 创业的黄埔军校
一句话总结
记住 3 个名字、3 个概念、3 个数字
如果你是企业 CTO:你会用一款不能写代码、不能对话、但便宜 200 倍的"决策模型"做什么?如果你是研究者:RLCD 是 RLHF 的合理替代,还是另一条更窄的路?如果你是投资人:$40M 赌"RLHF 发明人亲自拆 RLHF",你会跟吗?
参考资料 · 公开来源汇总
本文整理日期 2026-09-21。所有数字、定价、性能声明均来自 TypeSafe 官方或第三方公开报道,部分基准为 TypeSafe 自家测评,引用时已标注。
官方与一手
- TypeSafe AI 官网 · typesafe.ai
- Business Wire · 2026-09-15 launch 公告
- DCVC 投资组合页
- Jev 1.13 Jaggedness 限制说明
- TypeSafe workflow evals 公开页
- InstructGPT 论文 · arXiv:2203.02155(2022)
- GPT-4 Technical Report(2023.03)· credits
演讲与访谈
- AI Engineer World's Fair 2026 · "What's Next After RLHF?"
- Databricks Data + AI Summit 2026 · 同题演讲
- AI Engineer Podcast · 创始人访谈
- Theo -Browne(t3.gg)公开点评
媒体报道
- Forbes · 估值 / 融资报道
- TechStartups · 出 stealth 报道
- Yahoo Finance · launch 转载
- StackFutures · 40M 融资分析
- HyperAI / Toolbit / Remio · 中文 & 英文解读
- 腾讯新闻 · 今日头条 · kocpc.com.tw
- BigGo Finance · HN 讨论整理
第三方分析
- explainx.ai · Almeida 长篇 profile
- Every(ai.dev)· 独立速度 / 成本验证
- Hacker News · 9/15-9/18 长帖讨论
- Reddit r/LocalLLaMA · 社区质疑 & 看好
- DataCamp · "System One Models 入门"教程
- The Tech Society · Jev 拆解