TypeSafe
AI基础设施公司，专注于开发决策专用AI模型，致力于为高频、实时决策场景提供低延迟、低成本的结构化推理服务
Core Facts
Timeline (last 90 days)
一位开发者创建了一个开源项目，让 OpenAI Decisions API、TypeSafe 的 Jev 和 Cloudflare 的 Clef 三个决策模型在相同证据下预测未来事件，并与 Polymarket、Kalshi 的实时价格对比
TypeSafe自家平台因需求激增暂停了新用户注册，但Jev可通过OpenRouter和Vercel AI Gateway等聚合平台使用
Jev可通过TypeSafe官方或Open Router接入，并已取消等待名单向所有人开放
Jev由开发公司TypeSafe定位为首个系统一（System 1）模型，专注于分类决策而非文本生成
据 TypeSafe 说法，视情况 Jev 可能比传统 LLM 快 40 到 200 倍
TypeSafe的理念是「我们造的是prod，不是God（we build prod, not God）」
Jev是一种新的编程原语，用户用自然语言描述意图并提供状态机，它会在软件内部做出带置信度的决策
TypeSafe 在此语境下指 API 响应严格遵循预定义的类型模式而非返回格式多变的自由文本
langgraph-jev 将 TypeSafe 的 Jev API 封装成了 LangGraph 节点与 LangChain Runnable
OpenAI 推出了名为 Decisions API 的产品
19 more timeline events
All Facts (20)
Jev是一类被称为'系统一模型'的前端模型，快速、便宜、结构化，专门用于决策，不生成文本而是在预设选项集合中返回概率打分
75%VerifiedJEV 是 TypeSafe 推出的一款决策模型（decision model）
65%VerifiedTypeSafe将Jev定位为'系统一模型'，这一概念受丹尼尔·卡尼曼《思考，快与慢》中的双系统认知理论启发
65%VerifiedOpenAI 推出了名为 Decisions API 的产品
75%VerifiedTypeSafe 推出的 Jev 是一个不生成文本、只输出带校准概率的类型化决策的AI模型
65%UnverifiedTypeSafe自家平台因需求激增暂停了新用户注册，但Jev可通过OpenRouter和Vercel AI Gateway等聚合平台使用
50%UnverifiedJev可通过TypeSafe官方或Open Router接入，并已取消等待名单向所有人开放
50%UnverifiedJev由开发公司TypeSafe定位为首个系统一（System 1）模型，专注于分类决策而非文本生成
50%Unverified据 TypeSafe 说法，视情况 Jev 可能比传统 LLM 快 40 到 200 倍
50%UnverifiedTypeSafe的理念是「我们造的是prod，不是God（we build prod, not God）」
50%UnverifiedJev是一种新的编程原语，用户用自然语言描述意图并提供状态机，它会在软件内部做出带置信度的决策
50%Unverifiedlanggraph-jev 将 TypeSafe 的 Jev API 封装成了 LangGraph 节点与 LangChain Runnable
50%UnverifiedTypeSafe 在此语境下指 API 响应严格遵循预定义的类型模式而非返回格式多变的自由文本
50%Unverified作者推测 RLCD 采用 Brier 分数作为评分规则，但 TypeSafe 官方尚未公开具体的奖励函数实现
50%UnverifiedRLCD（Reinforcement Learning for Calibrated Decisions）是 TypeSafe 的产品 Jev 背后的方法，旨在解决 RLVR 忽视置信度的问题
50%Unverified开发 Jev 模型的公司 TypeSafe 没有开源模型文件与权重
50%UnverifiedJEF 是 TypeSafe 公司提供的云端 API 服务，并非通用开源组件，模型架构和训练细节未完全公开
50%UnverifiedReflex 4B 是 TypeSafe 为本地部署提供的轻量判断模型，参数规模约 40 亿，可在消费级 GPU 或高性能 CPU 上运行，默认关闭且不自动下载
50%UnverifiedJev 优化后浏览器协议（CDP）调用从 1092 次降至 101 次，TypeSafe 请求从 22 次降到 17 次
50%UnverifiedJev 负责点击决策的核心模型 GIV 目前只能走 TypeSafe 官方远程接口，无法完全离线运行
50%