2026年11月1日星期日
AI 基础设施 · 新闻与分析
首页 › 资本市场 › 报道
资本市场 · 报道

TypeSafe AI以4000万美元的资金走出隐身状态,开发组合式AI模型架构。

为软件定义的计算优化提供了早期资金,这可能提高现有GPU云机队的利用率。
行业媒体Slicast · 2026年9月16日 UTC 18:59 · 美国 · 来源: HPCwire
重要度 45

旧金山,2026年9月16日 —— 前沿人工智能实验室TypeSafe AI今日结束隐身状态,宣布完成由DCVC领投的4,000万美元种子轮融资。该公司致力于构建机器原生、可组合的人工智能。TypeSafe AI由前OpenAI研究员、RLHF/ChatGPT共同发明人Diogo Almeida与Erik Gafni和Sasha Sheng于2024年联合创立,正在开发一类新型智能系统,旨在为开发者提供可靠且高效的人工智能,使其能够直接集成到软件系统中。

尽管当今的前沿模型在推理能力以及与人类对话方面日益强大,但赋予强大AI助手的那些特质并不总能顺利转化为生产环境中的表现。这些模型可能会产生幻觉,在不同请求之间改变方法论,并给需要一致行为表现的系统引入不可预测的变数。TypeSafe采取了不同的路径,工程化打造一种作为可组合软件原语的智能,专为需要语义判断和智能决策的应用程序而设计。

“TypeSafe的成立是为了追求一条替代性的人工智能研究路径,专注于机器原生AI,”TypeSafe AI联合创始人兼首席执行官Diogo Almeida表示,“我曾多年致力于研发旨在让人类更好地与AI互动的模型。但如果AI要从根本上改变工作方式,人类就不能成为唯一的智能消费者。大多数智能最终应存在于软件内部,在后台安静运行。TypeSafe正是在为那个未来而构建。”

Jev是TypeSafe的首个模型,其名称源自杰文斯悖论(Jevons Paradox),围绕这一理念打造。Jev以低于100毫秒的延迟提供前沿级别的智能,与其他前沿模型相比,其运行速度快达100倍,成本仅为其中的一小部分。目前,Jev已面向部分开发者开放早期访问权限。它能够从单个提示词并行处理数百个输出,并提供校准后的置信度评分,使开发者能够精确判断软件何时应自主行动,何时应交由人工处理。

“TypeSafe正在应对人工智能领域最大的剩余挑战之一:将日益强大的模型转化为开发者可以大规模可靠地构建到产品中的技术,”DCVC普通合伙人James Hardiman表示,“Diogo、Erik和Sasha带来了深厚的技术实力和坚定信念,重新思考如何为软件构建模型。他们对于可组合智能的方法将解锁全新一代的应用程序。”

TypeSafe展望了一个自动化未来,其中确定性软件将在任何需要语义判断的地方得到人工智能的增强。通过使智能决策足够快速、经济实惠且可靠,从而可供测试、约束和层层叠加,该公司正将智能定位为软件开发的标准构建模块。这一基础旨在赋能开发者构建越来越复杂、智能的应用程序,这些应用程序无法仅靠单一实体通过自上而下的设计独自完成。

关于TypeSafe AI

TypeSafe AI是一家前沿人工智能实验室,致力于构建机器原生、可组合的人工智能:即设计为在软件中作为原语运行的智能。其模型为需要语义判断和智能决策的应用程序提供了快速、可预测且高效的性能。TypeSafe成立于2024年,总部位于旧金山,已通过DCVC领投筹集了约4,000万美元的资金。其首个前沿模型Jev的早期访问权限目前在typesafe.ai上处于候补名单中。

来源:TypeSafe AI

阅读原文
TypeSafe AI以4000万美元的资金走出隐身状态,开发组合式AI模型架构。 · Slicast