人物 · ENTITY RECORD
Erik Gafni
团队介绍明确Erik为TypeSafe CTO；current与报道知识截止日9月18日相符，无虚构任职起点。 原链为 TypeSafe 官方博客或团队页，改为 official。
Codex 独立来源复核 · Jev 87% · 不计人工核验316: Erik Gafni · CTO 连续创业者（Ravel），曾是基因检测独角兽 Invitae、Freenome 的早期员工。
Erik Gafni 是 TypeSafe AI 的 CTO。
| 时间 | 指标 / 类型 | 数值 | 口径与证据 |
|---|
暂未收录有出处的指标观测。
只有当材料里直接写出结论，它才改变主意——需要“一步步推出来”的判断，正是系统 1 的盲区。同一局面，Haiku 4.5（关闭思考）选对了过牌。
2026-09-18 · assessment · 阅读原报告 ↗“共同发明 RLHF”要打个折： 这是公司和新闻稿的说法。能独立核实的是：Almeida 是 InstructGPT 论文（2022 年 3 月）20 位作者中的第 4 位。 [arXiv 2203.02155]
2026-09-18 · assessment · 阅读原报告 ↗Jev 是给软件用的“快速直觉”：把 “是不是、选哪个、打几分” 变成像调用函数一样便宜、快速、可控的一步——代价是不会写、不会算、不擅长绕弯。
2026-09-18 · assessment · 阅读原报告 ↗
AI 前沿情报站