RECODEX · AI OBSERVATORY

TypeSafe AI

面向软件自动化的机器原生决策模型

资料快照：2026-09-19

身份核验不等于每个财务数字已核验。融资、估值与团队规模保留原报道口径，不推算未知金额；每项资料均附独立来源和日期。

公司资料与核验依据

官网: http://typesafe.ai 来源 ↗数据 2026-09-17 · 核验 2026-09-17
赛道: 基础模型来源 ↗数据 2026-09-17 · 核验 2026-09-17
核心方向: 面向软件自动化的机器原生决策模型来源 ↗数据 2026-09-17 · 核验 2026-09-17
代表产品: System One Models与首个模型Jev，输出带校准置信度的类型化决策来源 ↗数据 2026-09-17 · 核验 2026-09-17
融资金额（报道口径）: 4000万美元来源 ↗数据 2026-09-16 · 核验 2026-09-17
融资轮次: 种子轮来源 ↗数据 2026-09-16 · 核验 2026-09-17
投资方: DCVC（领投）来源 ↗数据 2026-09-16 · 核验 2026-09-17

14 项资料待核验

商业化阶段、具身形态、国家 / 地区、总部、成立年份、负责人、上市状态、上市主体、交易所、证券代码、融资统计依据、估值（报道口径）、估值日期、团队规模

各轮报道独立列示，不相加为累计融资。

Nous Research所在地与阶段待核验

开源语言模型训练与分布式训练基础设施

Mistral AI🇫🇷 法国 · 规模商业化

提供面向企业与政府的前沿模型、开发工具和全栈人工智能系统。

Mirendil所在地与阶段待核验

构建擅长AI研发的前沿模型系统

研发并提供 DeepSeek 系列通用语言、推理、代码与多模态模型及 API。

Sarvam AI🇮🇳 印度 · 班加罗尔 · 公开产品与 API

构建面向印度语言、主权算力和企业应用的全栈人工智能平台

OpenAI规模商业化

研发通用人工智能、前沿基础模型，并提供 ChatGPT 与开发者平台。