---

TypeSafe AI 在 2026 年 9 月 15 日发布了一类新模型——**System One Models**，以及第一个公开模型 **Jev**。

核心主张一句话：**放弃字符串生成，只输出类型安全的、带校准概率的结构化决策。** 创始人 Diogo Almeida 是前 OpenAI 研究员，参与过 ChatGPT 背后的研究。

---

## 一、「模型早就比人快，自动化去哪了？」

Almeida 的开场问题：模型在聊天上超人类已经好几年了，自动化为什么还没大规模发生？

他的答案：**LLM 的输出是字符串**。字符串灵活，可以是任何东西——聊天回复、代码、幻觉、拒绝、甚至碰巧是合法 JSON 的东西。软件要用它，得解析、校验、兜底，还要随时防模型跑偏。

System One 的思路：输出从一开始就是**类型安全的结构化值**。可能输出和结构提前定义好，模型**不可能犯类型错误**，每个答案附带校准过的概率和置信度。

---

## 二、System One vs LLM

| 维度 | LLM | System One (Jev) |
|------|-----|------------------|
| 训练目标 | RLHF（人类偏好）/ RLVR（可验证奖励） | **RLCD**（校准决策强化学习） |
| 输出 | 字符串，可生成任何东西 | 类型安全结构化值，结构预定义 |
| 采样 | 顺序，逐 token 生成 | **并行**，单次查询生成全部输出 |
| 幻觉 | 存在 | 结构性不可能 |
| 概率 | 要求了也给不准 | 每个输出带校准概率 |
| 速度 | 3-329 秒 | 70-500 毫秒 |
| 输出成本 | 约输入的 5 倍 | **免费**（低到不值得计费） |

速度差 40-200 倍，输入成本 $0.042/MTok（每十亿 token $42）。

「放弃字符串」的代价是失去通用性，换来的特性是**可组合**——结构化输出能直接嵌进普通软件做模糊决策规则：分类、路由、打分、提取、分支。周围的代码约束了它的自由度，系统因此可靠。

---

## 三、「智能 if 语句」

这个定位值得细品：**AI-Powered Workflows / smart if-statements**。

手写逻辑太脆弱的场景，用 System One 模型当模糊决策器：

```txt
classify   — 文本分类
route      — 消息路由
score      — 质量打分
extract    — 信息抽取
branch     — 条件分支
```

配合 100ms 级延迟，AI 第一次能进到 UX 敏感的实时链路里——不是聊天窗口，是请求路径上的一个决策点。

其他场景：大数据 map-reduce（把 PB 级数据变成特征）、以及「Verify everything」——给 LLM 的 prompt、推理轨迹、输出做打分、审查、护栏、越狱检测。

---

## 四、Jev 目前能验证的

这是厂商自己发布的第一天，独立验证还没有。Almeida 在博客里区分了哪些好验证、哪些要时间：

**立即可验证的**：调用速度（他们发布评测就跑在自己西海岸的笔记本上）、定价透明度、**零类型错误**（结构上数学不可能，一个反例就能证伪）。

**需要长期验证的**：定价是否补贴、校准概率的真实质量、「同等前沿智能」这个说法本身。

博客的立场是：「我们欢迎怀疑者，因为我们自己就是怀疑者。」第一条「receipts」就是并列演示——Jev 并行输出所有概率，逐 token 自回归生成这一步被整个跳过了。

---

## 结语

LLM 的「字符串进、字符串出」塑造了整个 AI 应用形态：先对话，再解析，再兜底。System One 的赌注是：**大量自动化任务根本不需要字符串**——需要的是一个快 100 倍、便宜两个数量级、且自带不确定性度量的决策函数。

如果这个方向成立，「模型」在软件架构里的位置会变：从对话的末端，移到请求路径的中间。


TypeSafe AI 在 2026 年 9 月 15 日发布了一类新模型——System One Models，以及第一个公开模型 Jev。

System One 模型：放弃生成文本的 AI

TypeSafe AI 在 2026 年 9 月 15 日发布了一类新模型——System One Models，以及第一个公开模型 Jev。 核心主张一句话：放弃字符串生成，只输出类型安全的、带校准概率的结构化决策。 创始人 Diogo…

软件研发

人工智能

算法

开发工具

TypeSafeAI发布SystemOneModels及首个模型Jev，放弃字符串生成，输出类型安全的结构化决策，带校准概率。速度70-500毫秒，成本极低，适合分类、路由、打分等实时决策。定位“智能if语句”，替代脆弱逻辑，嵌入软件链路。

强化学习

软件架构

代码解释

大数据

ChatGPT

路由

JSON

RLHF

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

System One 模型：放弃生成文本的 AI-腾讯云开发者社区-腾讯云

System One 模型：放弃生成文本的 AI

System One 模型：放弃生成文本的 AI

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐