TypeSafe AI
由前OpenAI研究员创办的AI初创公司，专注于决策模型研发，旗下产品定位为快速判断场景，支持概率与置信度输出
Core Facts
Timeline (last 90 days)
当状态中恰好只包含一个 JSON part 时，TypeSafe AI 会保留原生的 JSON 状态形态，而不是强行拆解
直接作为 state 传入的数组现在会被当作决策状态的 parts，如需传 JSON 数组作为数据应包裹在对象中或显式包装成 json part
更新把所有公开的状态形式在调用决策提供方之前统一规范化为一个 parts 数组，文本以 text part 呈现，JSON 对象以 json part 呈现
更新引入了有序的文本、文件和 JSON 部分（ordered text, file, and JSON parts）进入实验性决策状态
Gateway 保持原有的字符串和 JSON 请求格式，会拒绝文件类型的输入，TypeSafe AI 也采取相同策略
模型调用的 span 记录规范化后的状态 parts，外层 span 保留公开的状态输入
Jev出自一个名为TypeSafe AI的实验室，既不是LLM，也不来自OpenAI、Anthropic或DeepSeek
Jav由TypeSafe AI推出（创始人Diego Almeida），采用一次并行pass产出整个结构化答案，响应时间70到500毫秒，是大型云端模型
Jev是由TypeSafe AI推出的闭源决策模型，于9月15日发布，定义了System 1 Models概念，采用闭源API按Token计费的商业路线
RLCD（Reinforcement Learning for Calibrated Decisions）是 TypeSafe 的产品 Jev 背后的方法，旨在解决 RLVR 忽视置信度的问题
17 more timeline events
All Facts (20)
Jev是一类被称为'系统一模型'的前端模型，快速、便宜、结构化，专门用于决策，不生成文本而是在预设选项集合中返回概率打分
75%UnverifiedJev被定位为TypeSafe AI的'System One'前沿模型，主打软件系统中需要快速、结构化判断的场景
60%Unverified当状态中恰好只包含一个 JSON part 时，TypeSafe AI 会保留原生的 JSON 状态形态，而不是强行拆解
50%Unverified直接作为 state 传入的数组现在会被当作决策状态的 parts，如需传 JSON 数组作为数据应包裹在对象中或显式包装成 json part
50%Unverified更新把所有公开的状态形式在调用决策提供方之前统一规范化为一个 parts 数组，文本以 text part 呈现，JSON 对象以 json part 呈现
50%Unverified更新引入了有序的文本、文件和 JSON 部分（ordered text, file, and JSON parts）进入实验性决策状态
50%UnverifiedGateway 保持原有的字符串和 JSON 请求格式，会拒绝文件类型的输入，TypeSafe AI 也采取相同策略
50%Unverified模型调用的 span 记录规范化后的状态 parts，外层 span 保留公开的状态输入
50%UnverifiedJev出自一个名为TypeSafe AI的实验室，既不是LLM，也不来自OpenAI、Anthropic或DeepSeek
50%UnverifiedJav由TypeSafe AI推出（创始人Diego Almeida），采用一次并行pass产出整个结构化答案，响应时间70到500毫秒，是大型云端模型
50%UnverifiedJev是由TypeSafe AI推出的闭源决策模型，于9月15日发布，定义了System 1 Models概念，采用闭源API按Token计费的商业路线
50%UnverifiedRLCD（Reinforcement Learning for Calibrated Decisions）是 TypeSafe 的产品 Jev 背后的方法，旨在解决 RLVR 忽视置信度的问题
50%UnverifiedJev是闭源模型，通过托管API提供服务，依赖云端
50%UnverifiedJF 是旧金山初创公司 TypeSafe AI 做的闭源付费 API，与 Laya 接口设计几乎一模一样
50%UnverifiedCLM是基于Qwen3-8B主干构建的一组轻量级投影头，总大小约75MB，定位为闭源模型Jev的开放权重、可本地部署替代方案
50%UnverifiedJev 模型从模型训练层面针对判定类任务做优化，而非在通用模型上加 prompt 或解析层补丁
50%Unverifiedllm-typesafe 插件用于为命令行工具 LLM 接入 TypeSafe AI 推出的模型 Jev，专门服务于结构化判定类任务
50%Unverifiedgg-friggin-ez 底层由 System 1 模型驱动，包括 TypeSafe AI 的 Jev 与 Laya
50%UnverifiedTypeSafe 的 CEO 在 Hacker News 上确认，Noul 是 Bernoulli（伯努利分布）的缩写
50%UnverifiedTypeSafe AI围绕一个具体问题为Jev构建了新的架构和训练方法
50%