跳至主要內容

作者

發佈日期

閱讀時間

閱讀約 6 分鐘

字體大小

分享

電郵

人工智能慧研

Jev:TypeSafe AI 的 System One 決策模型——不是聊天大模型,而是給程式用的型別安全判斷層

TypeSafe AI 於 2026-09-15 早期存取推出 Jev:以狀態與型別問題換校準機率決策的 System One 模型——不生成文字,互補 LLM,服務代理 harness 與高頻自動化。

圖:左側對話式暖色意象與右側並行決策光束的對照——聊天生成與型別決策層互補(意象插畫,非產品介面)。

2026 年 9 月 15 日,TypeSafe AI 以早期存取形式公開旗艦模型 Jev,並稱之為首個公開的 System One Model。若讀者以「大模型/前沿模型」概括近年高能力 AI,Jev 確實進入同一場產業對話——但它不是以對話、寫稿、續寫為目標的聊天式大型語言模型(LLM)。依官方說法,它是新一類為軟體自動化設計的前沿決策模型:非結構化或結構化狀態,加上型別化問題進去;輸出型別安全、帶校準機率的決策;不產生自由文字,也不以自回歸逐 token 生成回覆。

對代理(agent)與業務工作流而言,這等於把「該不該升級」「路由到哪一隊」「風險有多高」這類高頻判斷,從昂貴、偏慢、可能跑出結構外內容的字串生成中抽離,變成可直接寫進程式分支的函式呼叫。

命名:System One 與傑文斯

「System One」借自丹尼爾·康納曼《快思慢想》中 System 1/System 2 的對照:偏快、直覺、可重複的判斷,對應慢而刻意的推理。TypeSafe 在發表文中寫明:類別名強調快速、聚焦的判斷;並表示——理由將另文展開——他們相信 System One Models 可以做得比「犯錯的直覺」刻板印象更可靠。

模型名 Jev 則致敬經濟學家威廉·斯坦利·傑文斯(William Stanley Jevons)。公司預期機器智慧會走上類似燃煤的路徑:蒸汽機效率提升後,煤炭需求反而上升;每降低一個數量級的智慧成本,就能解鎖多個數量級的使用情境。jevai.net 的產品口號很直接:Don’t chat. Decide.

技術原則:狀態進、型別決策出

依 TypeSafe 發表文、官方文件 與 System One 概念頁,Jev 的介面可概括為:

  1. 輸入:state(字串、JSON 物件或文字陣列等)與一組型別化 questions。目前僅接受文字;影像、音訊、視訊尚不支援。
  2. 輸出:預先定義答案空間中的結構化值與機率;Choice/Score 另附 confidence。
  3. 取樣:一次查詢並行產出所有答案(parallel),而非逐 token 自回歸。
  4. 訓練:公司稱為 RLCD(Reinforcement Learning for Calibrated Decisions),優化目標是對 System One 任務給出認識論上更誠實的機率,而非人類聊天偏好(RLHF)或可程式驗證獎勵(RLVR)那一套。

文件定義三種問題原語(primitives):

類型 用途 回傳(概念)
Choice 從選項中選一 choice、probabilities、confidence
Score 依有序量表評分 score、probabilities、confidence
Noul 是/否(陳述是否為真) noul(0–1)

同一請求可混合多題;文件稱各題並行、獨立地對同一 state 評估,加題對延遲影響有限。公開規格(jev-1.13/別名 jev-latest)寫明:每請求合計約 64k tokens 上下文(其中 state 加最長一題受 32k 限制);定價為輸入約 $0.042/百萬 tokens(即約 $42/十億 tokens),輸出 tokens 免費。廠商宣稱端到端延遲約 70–500 ms,並在自家 workflow 評測中報出相對前沿 LLM 約 193.6× 更快、444.6× 更便宜等數字——這些屬廠商基準,架構細節未公開,第三方尚未以同等方法學獨立複驗,解讀時應持保留態度。

與 LLM 的關係應理解為互補:LLM 仍擅聊天、寫作、開端生成與「生成—驗證—迭代」;Jev 針對分類、路由、評分、抽取、護欄,以及可嵌入程式的「智慧條件式」。官方強調輸出空間預先約束,型別錯誤在其定義下「數學上不可能」,也無法以自由文字幻覺出結構外內容——但這不等於語意永遠正確;校準機率仍可能錯,只是錯法被關在 schema 裡。文件亦提醒:校準是就預測群體而言,並不保證單一答案正確。

架構透明度。 systemonemodels.org 的 Jev 架構指南(整理至 2026-09-22 左右)指出公開紀錄很短:並行輸出、型別答案與機率、RLCD、文字輸入;並記載外間報導稱訓練資料為合成資料。參數量、底層是否 encoder/decoder/diffusion、權重與可複現訓練程式碼截至該整理時仍未發表;社群複製品(例如外傳約 421M 參數的 Laya)是介面猜測,不是 Jev 本體。

官方另列 Jev 1.13 的 jaggedness:字面解讀過強、計數與算術、日期比較、多跳間接、過大雜訊 state、對抗內容,以及相關問題之間不保證機率恆等式等。文件明確寫:生成文字不是它的工作——需要生成時應改用生成模型。

圖:同一狀態並行通向路由、評分與是否閘門——對應 agent harness 中的高速結構化決策(意象插畫,非實際產品介面)。
圖:同一狀態並行通向路由、評分與是否閘門——對應 agent harness 中的高速結構化決策(意象插畫,非實際產品介面)。

用途與產業意涵:LLM+Jev 級聯與 harness

LangChain 技術文(2026-09-17)把 Jev 放進 agent 迴圈:LLM 負責開端推理與生成;Jev 處理迴圈中大量結構化小判斷。文中示範與 langchain-typesafe 整合,並描述:

  • 模型路由(model routing):依請求難度選擇較便宜或較強的模型;
  • Auto Mode/工具護欄:在工具執行前以低延遲分類風險動作;
  • 更廣義的分類、分流、驗證與對 LLM 輸出/jailbreak 的偵測。

產品站亦列舉智慧工作流、即時應用、大規模資料處理,以及對其他 AI 輸出的驗證與護欄。命名中的傑文斯邏輯在此具體化:當結構化決策的單位成本與延遲下降,軟體裡「手寫規則太脆、每次打前沿 LLM 又太貴太慢」的灰區,才可能被大量自動化。它不取代對話產品、長文寫作、需要長思鏈或測試時計算的複雜推理;較穩健的圖像是——LLM 面向人與生成;Jev 面向程式狀態機與高頻判斷。

開發者與公司背景

TypeSafe AI 創辦人暨 CEO Diogo Almeida 在公司團隊頁寫道:他共同發明 RLHF 與 InstructGPT——亦即支撐 ChatGPT/GPT-4 路線的指令遵循與人類回饋方法——此前於 Google Brain。發表文中他自述:在 OpenAI 參與讓語言模型學會跟指令、與人對話的方法後,意識到「聊天很強,自動化仍缺一塊」,於是約兩年隱身研發後推出 System One 與 Jev。公開學術紀錄可核對他列名於 InstructGPT(Training language models to follow instructions with human feedback)作者群,並在 GPT-4 技術報告中列於 foundational RLHF/InstructGPT 等工作群組。

共同創辦團隊公開列出 COO Sasha Sheng(前 Meta/FAIR)、CTO Erik Gafni(連續創業者,生產級 AI 系統背景)。公司自稱成員來自 OpenAI、Google Brain、Meta/FAIR、Stripe、Airbnb 等,總部位於舊金山;Jev 目前為早期存取。

仍未知、評估時應明示者: 精確參數規模、底層架構論文、完整訓練資料組成、可獨立複現的校準誤差(如 ECE)、長期定價是否含補貼——廠商自己也寫明無法證明價格非補貼,並預期長期應往下而非往上。

結語:把「判斷」從字串裡解放出來

若把近年「大模型」敘事理解為「文字介面的通用智慧」,Jev 代表另一條產品化軸線:把前沿級判斷力做成軟體可依賴的型別介面。它不會聊天,也不該被要求聊天;價值在於與 LLM 組成級聯——生成留給生成模型,決策留給決策模型——並在 harness、路由與護欄等高頻路徑上,用校準機率與並行取樣換延遲與成本。

早期存取階段,務實做法是:用自家資料量測校準與延遲,把算術與多跳留在程式碼,把 Jev 當可組合的「智慧條件式」,而不是另一個聊天窗口。傑文斯悖論是否成真,最終會寫在有多少原本不敢自動化的分支,真的被寫進生產系統裡。

主要資料來源

來源: https://typesafe.ai/blog/introducing-system-one-models-and-jev

FFOO Labs 通訊

不定期分享關於 AI、科技,以及想像與實踐之間種種思考的筆記。

透過 RSS 追蹤