TypeSafe AI

TypeSafe AI 于2024年由 Diogo Almeida 创立，Almeida 任首席执行官，联合创始人为首席技术官 Erik Gafni 与首席运营官 Sasha ShengSasha ShengSasha Sheng 是软件工程师和企业家，人工智能公司 TypeSafe AI 的联合创始人兼首席运营官；她曾在 Yahoo 和 Facebook（Meta）从事移动应用与机器学习系统开发，离开 Meta 后曾多次赢得人工智能黑客松，2024年与 Diogo Almeida、Erik Gafni 共同创办 TypeSafe AI。点击查看完整词条。Almeida 曾在 OpenAIOpenAIOpenAI是2015年创立的人工智能研究与产品机构，开发GPT系列模型、ChatGPT、Codex及开发者API，并开展图像、语音、视频与智能代理研究。2025年重组后，非营利的OpenAI Foundation继续控制营利主体OpenAI Group PBC。其发展涉及大规模融资与算力合作，也伴随治理、版权、隐私及人工智能安全争议。点击查看完整词条 从事基于人类反馈的强化学习（RLHF）、InstructGPT、ChatGPTChatGPTChatGPT是OpenAI于2022年11月30日推出的生成式人工智能助手，通过网页和应用提供对话、写作、编程、搜索、文件分析及图像和语音交互等服务。产品从免费研究预览发展为面向个人、企业和教育机构的多种方案，并逐步增加深度研究、学习模式和跨应用任务执行能力。其应用也引发有关事实准确性、个人隐私、版权、教育及青少年安全的持续讨论。点击查看完整词条 与 GPT-4 的研究；管理团队的经历涵盖 OpenAI、Google Brain 与 Meta FAIR。⁠[1][2][2][3]

公司此后以隐身方式研发约两年。Almeida 写道，他在 OpenAI 时参与打造了让语言模型善于遵循指令、与人对话的方法，但逐渐认为聊天模型缺少某种关键东西，促使他追问“聊天能力早已超越人类，自动化在哪里”。⁠[4][4][4][4]

结束隐身前，公司在博客发表《The Bitterest Lesson》，在 Rich Sutton“苦涩的教训”基础上提出，机器学习中“选对任务”比数据、算力和算法更重要；次日又发表文章批评针对公开评测刷分（benchmaxxing）的做法。⁠[5][5][6][6]

2026年9月15日，TypeSafe AI 结束隐身运营，发布首个 System One 模型 Jev，并以早期访问名单方式开放；同时公布由深科技风险投资机构 DCVC 领投的4000万美元种子轮。知情人士给出的这一轮估值约为2亿美元。⁠[4][4][4][7][1][3]

公司把 System One 模型定义为专为软件内部决策而建的新一类模型：输入非结构化的程序状态，输出事先定义好结构的类型化取值（如是否、从列表中选择、按刻度打分），每个判断附带校准后的概率与置信度，开发者可据此设定何时自动执行、何时转交人工复核。模型采用新架构、并行采样器和名为“校准决策强化学习”（RLCD）的训练方法，不生成字符串。⁠[8][1][8][4][4]

发布时公司公布的价格为每百万输入 token 0.042美元（每十亿 token 42美元），输出 token 不收费；端到端响应时间为70毫秒至500毫秒。公司称在其工作流评测中，Jev 比对照语言模型快193.6倍、便宜444.6倍，并说明这些数字来自内部团队编写的工作流，可能偏向现实收益的高端；这些数字未经独立验证。⁠[4][4][4][4][1]

“System One”一名取自 Daniel Kahneman《思考，快与慢》中快速、直觉的“系统1”思维；Jev 一名取自经济学家 William Stanley Jevons，公司预期机器智能会像蒸汽机效率提高后的煤炭一样，成本下降反而带来需求增加。⁠[4][4][4]

领投方 DCVC 的普通合伙人 James Hardiman 表示，TypeSafe 在应对“人工智能剩余的最大挑战之一”，即让模型可靠到能大规模嵌入产品。⁠[1]

2026年9月28日，Andreessen Horowitz 发布 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 在节目中认为，编程智能体让人更快地写软件，但写出的软件运作方式与过去基本相同；TypeSafe 的做法是把智能放进软件内部，让程序能理解意图并作出概率判断。⁠[9][9][9]

2026年10月7日，公司发布客户案例：人才撮合平台 Jack & Jill 在首次测试后10天内把候选人匹配流程中一个关键环节的调用全部从 Gemini 3.1 Flash Lite 换成 Jev；按公司披露，准确度持平，成本降低88%，完成时间缩短约50%，预计每年节省50万美元。⁠[10][10][10][10]

2026年10月9日，TypeSafe AI 宣布完成8.7亿美元 A 轮融资，估值75亿美元，由 Andreessen Horowitz 领投，Sequoia CapitalSequoia CapitalSequoia Capital是一家由Don Valentine于1972年创立的风险投资机构，投资范围从种子期延伸至成长阶段。其历史投资包括Apple、Cisco、Google、YouTube、Airbnb和Stripe；2021年推出可继续持有上市证券的Sequoia Capital Fund结构，2023年区域业务转为独立品牌与合伙组织。点击查看完整词条、老股东 DCVC 和一批天使投资人参投；Martin Casado 加入公司董事会。公司表示，财富500强中有三分之一在使用 Jev，并已在生产环境为客户节省数百万美元。⁠[11][11][11][11][11]

同日，Andreessen Horowitz 发布由 Jennifer Li、Sarah WangSarah Wang（a16z）Sarah Wang 是风险投资人，Andreessen Horowitz（a16z）成长期团队普通合伙人，2019年加入 a16z，主导 AI、企业应用与基础设施领域的成长期投资，投资过 Character.AI、Wiz、Cursor、Temporal、Exa 等公司。点击查看完整词条、Martin Casado、Marc AndreessenMarc AndreessenMarc Andreessen 是美国企业家、风险投资人，风险投资机构 Andreessen Horowitz（a16z）的联合创始人兼普通合伙人。他在大学期间参与开发图形网页浏览器 Mosaic，随后联合创办 Netscape 和 Loudcloud（后改名 Opsware），并长期担任 Meta 董事；他还发表了《Why Software Is Eating the World》等文章。点击查看完整词条 与 Ben Horowitz 联名的投资公告，称 Jev 的发布是“今年见过的最大的叙事反转”，是他们见过增长最快的模型，上线3天即生成1万亿 token；按 a16z 的说法，Jev 发布首周即出现数千种用例，财富500强企业中有25%已集成 Jev。⁠[12][12][12][12][12]

a16z 在公告中认为，真正的经济突破应是让所有软件天然带上最新模型的智能，而性能与成本仍符合传统软件经济；Jev 的成本约为前沿模型的1/100至1/500，在可比准确度下分类任务快约100倍。公告提出“Jev-ons 悖论”一说：智能便宜到随处可调用时，它就会被到处调用；并表示人工智能应让软件更强大，而不只是自动重做已有软件，“真正的苦涩教训”不是造出新的存在，而是把智能的基本构件交还建造者。公告以“软件继续吞噬世界”作结。⁠[12][12][12][12][12][12]

2026年10月14日，公司发布 jev-1.14.0，以“危险区”请求头开放图像输入、返回单个边界框的 box 类型和更长上下文等实验功能，并说明这些功能尚不建议用于生产；公司称新版本对多语言支持的改进最大，计划一周后把 jev-latest 指向该版本，并在弃用旧版本前提前60天通知。⁠[13][13][13][13][13][13][13]

截至2026年10月，公司企业版页面列明已取得 SOC 2 Type II 报告，可为企业客户提供零数据保留，且不使用客户的提示词或其他输入训练、微调模型。⁠[14][14][14]

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

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

LinkedInLinkedInLinkedIn 是面向职场人士的社交网络平台，2002年由 Reid Hoffman 等人创立、2003年上线，2011年在纽约证券交易所上市，2016年被 Microsoft 以约262亿美元收购后成为其全资子公司，收入来自会员订阅、广告和招聘解决方案。点击查看完整词条：公开主页：https://www.linkedin.com/company/typesafe-ai/（在新窗口打开）⁠[8]