ABAB Pedia
词条广场

Diogo Almeida（TypeSafe AI）

Diogo Almeida 是人工智能研究者和企业家，旧金山人工智能公司 TypeSafe AITypeSafe AITypeSafe AI 是总部位于美国旧金山的人工智能公司，2024年成立，开发供软件直接调用、输出带概率的结构化判断而非文本的“System One”模型，首个公开模型为 Jev。公司于2026年9月15日结束隐身运营并公布由 DCVC 领投的4000万美元种子轮，同年10月9日公布由 Andreessen Horowitz 领投的8.7亿美元 A 轮融资，估值75亿美元。点击查看完整词条 的创始人兼首席执行官；他曾在 OpenAIOpenAIOpenAI是2015年创立的人工智能研究与产品机构，开发GPT系列模型、ChatGPT、Codex及开发者API，并开展图像、语音、视频与智能代理研究。2025年重组后，非营利的OpenAI Foundation继续控制营利主体OpenAI Group PBC。其发展涉及大规模融资与算力合作，也伴随治理、版权、隐私及人工智能安全争议。点击查看完整词条 工作约四年半，是 InstructGPT 论文的作者之一，参与了 ChatGPTChatGPTChatGPT是OpenAI于2022年11月30日推出的生成式人工智能助手，通过网页和应用提供对话、写作、编程、搜索、文件分析及图像和语音交互等服务。产品从免费研究预览发展为面向个人、企业和教育机构的多种方案，并逐步增加深度研究、学习模式和跨应用任务执行能力。其应用也引发有关事实准确性、个人隐私、版权、教育及青少年安全的持续讨论。点击查看完整词条 背后的基于人类反馈的强化学习（RLHF）研究。

本页目录9 节
词条资料

早年：求学与早期研究经历

Almeida 本科毕业于伦斯勒理工学院（Rensselaer Polytechnic Institute），后在佐治亚理工学院（Georgia Tech）取得硕士学位。他有约十年的人工智能研究经历，曾在 Google Brain 工作。⁠[1][2]

2022年3月4日InstructGPT 论文

Almeida 在 OpenAI 工作约四年半。2022年3月4日，论文《Training language models to follow instructions with human feedback》（即 InstructGPT 论文）提交至 arXiv，Almeida 名列作者第四位；他也是 GPT-4 技术报告的作者之一，并参与了 ChatGPT 背后的 RLHF 研究。⁠[3][4][4]

他后来写道，自己在 OpenAI 参与打造的方法让语言模型善于遵循指令、与人对话，这些工作成为 ChatGPT 背后的研究；他当时曾以为聊天模型或许能通向通用人工智能，但逐渐认为其中缺少某种关键东西。⁠[5][5]

2024年创办 TypeSafe AI

2024年，Almeida 离开 OpenAI，与 Sasha ShengSasha ShengSasha Sheng 是软件工程师和企业家，人工智能公司 TypeSafe AI 的联合创始人兼首席运营官；她曾在 Yahoo 和 Facebook（Meta）从事移动应用与机器学习系统开发，离开 Meta 后曾多次赢得人工智能黑客松，2024年与 Diogo Almeida、Erik Gafni 共同创办 TypeSafe AI。点击查看完整词条、Erik Gafni 一同创办 TypeSafe AI 并出任首席执行官，公司以隐身方式研发约两年。他表示，近四年来驱动自己的问题是：模型的聊天能力早已超越人类，自动化在哪里。⁠[1][1][6][5][5]

2026年在 AI Council 演讲

2026年，在 TypeSafe 发布产品约四个月前，Almeida 在 AI Council 旧金山会议发表题为《AI: Too Good to Be True, Too Bad to Be Useful》的演讲。他认为，几乎所有生产环境中的大语言模型都以 RLHF 或其变体训练，而 RLHF 优化的是人类偏好而非把任务做对，这使模型在辅助类工作上表现惊人，却难以胜任看似更简单的自动化工作。⁠[3][3][3][3]

2026年9月15日TypeSafe AI 发布 Jev

2026年9月15日，TypeSafe AI 结束隐身运营，Almeida 以本人署名发文宣布推出首个 System One 模型 Jev，同日公司公布由 DCVCDCVCDCVC（Data Collective）是2010年由 Matt Ocko 与 Zachary Bogue 创办的美国深科技（deep tech）风险投资机构，办公地点位于加利福尼亚州帕洛阿尔托和旧金山，投资以计算与人工智能手段解决能源、气候、生物医药、国防、太空与工业等现实领域问题的公司；截至2026年10月，其管理资产逾40亿美元，旗下共有13支基金。点击查看完整词条 领投的4000万美元种子轮。他在 DCVC 发布的问答中说，大语言模型之所以好用，是因为针对人类偏好做了优化，这也正是它们离不开人类监督的原因；他认为在通用人工智能实现大部分经济自动化的世界里，超过99%的人工智能调用将由软件发起、为软件服务。⁠[5][5][7][7][7][7]

2026年9月28日做客 a16z 播客

2026年9月28日，Andreessen HorowitzAndreessen HorowitzAndreessen Horowitz（a16z）是 Marc Andreessen 与 Ben Horowitz 于2009年创办的风险投资机构，覆盖种子期至成长阶段，并向被投企业提供运营支持。点击查看完整词条 发布 Ben HorowitzBen HorowitzBen Horowitz 是美国企业家、风险投资者和商业作家，2009年与 Marc Andreessen 共同创办 Andreessen Horowitz（a16z）。他此前领导 Loudcloud 向 Opsware 转型，并在2007年将其出售给 Hewlett-Packard；其写作与投资工作关注创业管理、组织文化及技术与文化产业的联系。点击查看完整词条、Martin CasadoMartin CasadoMartin Casado（马丁·卡萨多）是计算机科学家、创业者及风险投资人，现任 Andreessen Horowitz 普通合伙人，负责基础设施投资。他是软件定义网络的重要推动者，曾共同创办 Nicira 并担任首席技术官，在公司被 VMware 收购后负责网络与安全业务；他也共同创办公益组织 MuralNet。点击查看完整词条 与 Almeida 的播客对谈。Almeida 认为，编程智能体让人更快地写软件，但写出的软件运作方式基本未变；他的目标是让技术能够可靠地“按我的意思做”。⁠[8][8][8]

2026年10月9日A 轮融资

2026年10月9日，TypeSafe AI 宣布完成由 Andreessen Horowitz 领投的8.7亿美元 A 轮融资，估值75亿美元，Martin Casado 加入董事会。a16z 表示已关注 Almeida 多年，并认同他“真正的苦涩教训”在于把智能的基本构件交还建造者的看法。⁠[9][9][10][10]

关联机构、网站与公开账号

TypeSafe AI：官网：https://typesafe.ai/（在新窗口打开）。⁠[5]

X：公开账号：https://x.com/CompleteSkeptic（在新窗口打开）⁠[8]

来源

  1. Senior female schoolmate from Jiao Tong University, with a valuation of 70 billion（在新窗口打开）
  2. Diogo Almeida | Databricks（在新窗口打开）
  3. Diogo Almeida — AI Council Speaker（在新窗口打开）
  4. Training language models to follow instructions with human feedback（在新窗口打开）
  5. Introducing System One Models & Jev - TypeSafe AI Blog（在新窗口打开）
  6. TypeSafe AI exits stealth with $40M to build AI for use by software（在新窗口打开）
  7. TypeSafe emerges from stealth with a new way of doing AI（在新窗口打开）
  8. AI Can Write Code. Why Isn’t Software Better?（在新窗口打开）
  9. TypeSafe A raises Series AI（在新窗口打开）
  10. Investing in TypeSafe AI（在新窗口打开）