TypeSafe Jev深度拆解:一种全新的系统1决策AI

Jev 架构解析:TypeSafe AI 如何重塑 AI 决策系统 在 AI 决策系统开发中,规则引擎与模型维护常导致逻辑漏洞和效果漂移。TypeSafe AI 通过引入类型系统,为决策链路提供编译期约束,确保每个节点的输入输出明确,从而提升系统可验证性与可维护性。这一思路借鉴了函数式编程中的纯函数与类型契约,将决策过程拆解为类型安全的节点组合,有效降低线上故障风险。在信贷审批、视频剪辑等场景中,TypeSafe AI 能显著减少调试成本,并支持灰度发布与可观测性建设。Jev 架构正是这一理念的工程实践,为 AI 决策系统提供了从设计到落地的完整方案。 阅读详情


在这里插入图片描述
P.S. 目前国内还是很缺AI人才的,希望更多人能真正加入到AI行业,共同促进行业进步,增强我国的AI竞争力。想要系统学习AI知识的朋友可以看看我精心打磨的教程 传送门http://blog.youkuaiyun.com/jiangjunshow,教程通俗易懂,高中生都能看懂,还有各种段子风趣幽默,从深度学习基础原理到各领域实战应用都有讲解,我22年的AI积累全在里面了。注意,教程仅限真正想入门AI的朋友,否则看看零散的博文就够了。

1. 先说结论:这不是又一个 ChatGPT

2026 年 9 月,前 OpenAI InstructGPT 核心作者 Diogo Almeida 搞了个 TypeSafe AI,拿到 4000 万美元种子轮,顺手发布了第一款产品:Jev。

很多人一看"AI 新品"就兴奋:是不是又来一个能写诗、能陪聊的?这次真不是。Jev 是个典型的"社恐型 AI"——不聊天,只干活。

官方给它定的调子是 System One Model(系统 1 决策模型)。翻译成人话:一个嵌在业务流里的"确定性判断函数"。你丢给它一段状态,它按你预设的 Schema,并行输出决策值和概率分布,全程不说一句废话。

我愿称之为"AI 界的沉默寡言程序员":你问他要结果,他给结果;你让他闲聊,他给你一个 404。

1.1 它和传统 LLM 的三处结构差异

理解 Jev,不用看宣传片,看三处底层差异就够了。

**差异一:输出接口。**传统 LLM 靠 token 序列交付答案。就算你开了 JSON mode、开了严格结构化输出,它给你的依然是一串字符串,你的程序还得自己反序列化解析。就好比你说"给我一份报表",它打印了 500 页 PDF,你还得自己把数字抠出来。

Jev 则直接输出类型定义好的结构化值加概率分布,本身完全不生成文字。人家交的是标准件,不是原材料。

**差异二:采样方式。**LLM 是自回归生成,一个 token 接一个 token 往外吐,慢得像蜗牛背着房子搬家,还坚持说自己住的是豪宅。Jev 是并行采样,一次查询同时返回多个决策,官方给端到端延迟 70~500 毫秒。

500 毫秒什么概念?你刚想骂它"怎么这么慢",话还没出口,它已经交卷了。

**差异三:训练目标。**三种模型架构对应三种对齐目标,你可以理解成三种不同性格的员工:

  • RLHF(人类反馈强化学习):优化目标是"人类评审觉得这回答写得好",主要用在聊天产品。属于办公室里"会来事儿"的选手:说话好听,不一定靠谱。
  • RLVR(可验证奖励强化学习):优化目标是"程序能验证的奖励",数学、编程是它的主场。实打实的做题家。
  • RLCD(校准决策强化学习):Jev 专属,优化目标是"校准过的决策 + 如实反映把握程度的概率"。它不但要答对,还得知道自己答得对不对。这种特质放在相亲市场上叫"有自知之明",是稀缺物种。

RLCD 严格要求:模型给出的概率,必须和现实中事件实际成立的频率一致。听起来不难?你让一个人预测自己减肥能坚持几天,他给出的概率和现实之间,隔了整整一个健身房。

2. 就仨题型:Choice、Score、Noul

Jev 的世界里没有开放式问答,所有问题就三种题型,比小学考试的题型还少。

2.1 Choice(单选):从几个选项里挑一个

适合客服部门分类、文件类型判断这种"非此即彼"的场景。Jev 会返回概率最高的选项、每个选项各自的概率、以及整体 confidence。

举个栗子:输入一条客诉,返回退款概率 0.86、投诉 0.11、咨询 0.03。0.86 这个数,比我高中物理选择题蒙对的概率高多了。顺便说,把"客诉"分类成"咨询"的模型,和把"投诉"理解成"夸我们"的客服,建议一起送去培训。

避坑要点:设计 Choice 时务必加上 other 或 none_of_the_above 兜底。没有兜底项,遇到边界例外,模型只能在错误选项里硬挑一个——那感觉就像相亲软件逼你在"温柔体贴"和"年薪百万"之间二选一,而你只想要个正常人。

2.2 Score(打分):在一把有刻度的尺子上打分

适合情绪识别、故障严重程度、候选人经验这类"有顺序"的判断。Jev 返回每一级的概率、加权综合分数、等级说明 legend、以及 confidence。

加权分数算法(以三级为例):score = 0 × P(等级0) + 1 × P(等级1) + 2 × P(等级2)。比如 P = [0.1, 0.3, 0.6],算出来 score = 1.5。

注意:这个 1.5 只是结果落在标尺上的相对位置,千万别当金额、当物理量。它就像体检报告上的"亚健康"——你知道不太好,但它不告诉你具体哪儿不好。

还有,每一级定义要写成客观可观察的状态。别写"低、中、高"——这三个字在不同人脑子里是三套完全不同的度量衡。你说"客户情绪中等",有人理解为"还行",有人已经在砸键盘了。要写就写"不影响使用"“主要功能失效但有替代做法”"核心流程完全中断"这种,一眼就懂,吵不起来。

2.3 Noul(判断):某件事成立的概率

返回 0 到 1 之间的 noul 值:接近 1 偏"是",接近 0 偏"否",接近 0.5 就是"我也说不准"。比如"客户是否明确要求退款?",返回 noul = 0.72。

Noul 没有单独的 confidence 字段,因为 noul 本身就是二元事件的成立概率。特别提醒:0.5 只代表"是与否几率均等",绝不等于"中等程度"。想衡量程度深浅,请换 Score。

0.5 的 Noul 就像你问对象"你爱我吗",她回了个 0.5——不是中等,是真心犹豫。

2.4 题型选择黄金法则

  1. 从几个无序类别里选一个 → Choice。
  2. 衡量有顺序的程度深浅 → Score。
  3. 判断一件事成立的概率 → Noul。
  4. 想问"这人的 Python 算中等吗"?别问 Noul,拆成几级描述明确的 Score 题。直接问模糊的 Noul 题,效果跟问路边算命先生差不多——人家靠话术,你靠玄学。

3. 第一个实战:客服工单分流

光说不练假把式。来看一段来自 aiposthub 教程的 Python 示范。场景:一张工单进来,同时向 Jev 抛出三个问题——该派给哪个部门、客户有多沮丧、事情急不急。

3.1 代码

from typesafe_sdk import Choice, Noul, Score, TypeSafeClient
ticket = (
    "I changed my password and now I cannot log in. "
    "The reset email never arrives, and I need access today."
)
with TypeSafeClient() as client:
    response = client.system_one(
        state=ticket,
        questions={
            "department": Choice(
                instructions="Which team should handle this request?",
                criteria={
                    "account": "Login, password, profile, or security issues",
                    "billing": "Charges, invoices, refunds, or subscriptions",
                    "technical": "Product bugs, outages, or integrations",
                    "other": "Anything outside the other categories",
                },
            ),
            "frustration": Score(
                instructions="How frustrated does the customer appear?",
                criteria=[
                    "Calm and only stating facts",
                    "Concerned but still civil",
                    "Very angry or using strong language",
                ],
            ),
            "is_urgent": Noul(
                instructions="Does the message express urgency or time sensitivity?"
            ),
        },
    )
department = response.answers["department"]
urgent_probability = response.answers["is_urgent"].noul
if department.confidence < 0.60:
    route = "human_review"
else:
    route = department.choice

3.2 三个核心细节

**第一,state 是共享的。**三个问题共用同一个 state(工单原文),一次 API 请求全部打包返回。就像你同时点了三份外卖,配送费只收一次——这才是互联网人该有的生活智慧。

**第二,department 配了 other 兜底。**刚才说的避坑点,这里就是标准示范。

**第三,Jev 只负责判断,不负责拍板。**最后自动分发还是转人工,全看你代码里那个 if。业务阈值你定,模型绝不替你决定。它像个尽职的顾问:意见可以给,责任不背。这觉悟,比某些甩锅的同事不知道高到哪里去了。

3.3 安装

很标准:pip install typesafe-sdk,鉴权密钥配在环境变量 TYPESAFE_API_KEY。

4. confidence 不等于正确率

这个点最容易翻车,先打预防针。

4.1 confidence 到底是什么

confidence 是直接从概率分布的集中程度算出来的,反映"分布有多聚集"。

分布是 0.95 / 0.03 / 0.02,某个选项断层领先,confidence 就高;分布是 0.40 / 0.35 / 0.25,谁也没赢谁,confidence 就低。就像三个候选人票数打平,谁当班长都有人不服。

所以 confidence = 0.9 绝对不代表"模型有 90% 的概率做对了"。它的作用是帮你筛出模棱两可的模糊判断。自信和正确之间隔着一条银河——你回忆一下上个月立的 flag 就懂了。喝多了的人最自信,你不能因此说他酒量大。

4.2 校准才是硬道理

要检验概率靠不靠谱,必须看校准(Calibration):模型给出的预测概率,是否与长期实际发生的客观频率相符。模型说 80% 把握的一批事件,校准做得好,长期统计下来确实该有大约 80% 成立;校准差,可能只有 40%,也可能高达 95%。

把准确率和校准分开看,你会看到两种经典翻车现场:

**准确但未校准:**10 题答对 9 题,但每题都声称 100% 把握——答错的那题它也自信满满。像极了考试写完不检查的同学:会的题胸有成竹,错的那题同样胸有成竹。

**校准良好但毫无用处:**每题只报 50% 把握,实际也确实答对一半。诚实是挺诚实,有用是真没用。就像你问朋友"这家店好吃吗",他回"可能好吃,也可能不好吃"——谢谢你,我谢谢你。

工业级自动化落地,两项指标必须同时达标。

4.3 检验校准:分桶法

标准工程方法:按模型的 probability 或 noul 分成若干区间(0.5–0.6、0.6–0.7……),统计各区间在真实业务里的准确率。设定放行阈值时,持续追踪不同门槛对应的放行率、放行案件错误率、以及需要转人工的复核工作量。

4.4 阈值别乱抄

千万别盲目照抄官方文档的示例阈值。客服工单派错部门,后面还能再改派,门槛可以放宽;但自动批准退款、封禁账号、淘汰求职者这类高危操作,阈值必须严到"宁可错杀一千"。毕竟把求职者挂了,HR 圈子里传开的口碑,可比工单难修多了。

5. "零幻觉"的真相

5.1 零类型幻觉,不是零错误

TypeSafe 官网首页写着"Zero Hallucinations(零幻觉)",听着很唬人,但它特指零类型幻觉。

假设接口里定义了 A、B、C 三个合法动作:Jev 绝对保证不会突然返回一个动作 D,也不会夹带一段自由文本让你的下游反序列化崩掉。这是 Schema Matching 在系统设计层面给的确定性保证,性质如同"三角形绝不可能有四条边"——结构规则,不是统计推断。当然,也没人保证这三角形不是画歪的。

但 Jev 不保证"该选 B 的时候不会误选 A"。格式合规的结构化数据里,装的完全可能是业务上的错误决策。结构安全它兜底,语义正确还得你自己验证。这就好比外卖包装得再严实,也不能保证里面是你点的菜——万一厨师手抖,给你加了一勺香菜呢。

5.2 类型安全防不了提示注入

Prompt Injection 照样能干扰甚至篡改 Jev 的判断。上线前必须测试对抗样本、严格限制工具调用权限、保留安全熔断与中止路径。记住:它是判断函数,不是防弹衣。

6. 价格与速度,官方数字先打个折

6.1 价格账

截至 2026 年 9 月 19 日,Jev 1.13 官方定价:每百万输入 token 0.042 美元,输出 token 免费。作为对比,传统 LLM 输入价约每百万 token 0.20~10 美元,输出价通常是输入的 5 倍左右——你不仅要付钱,还要为它的啰嗦付费,这大概就是"话多费电"的 AI 版。输出免费、输入收费,像极了"首杯免费、续杯收费"的反向操作:你越想跟它多聊,它越不想理你。

算笔账:处理 100 万条文本分类任务,每条 2000 token,合计 20 亿输入 token。

  • 用 Jev:整体成本 84 美元。
  • 用每百万 token 5 美元的通用 LLM:光输入端就 10000 美元,输出费用另算。

84 对 10000,这差价够我吃多少顿黄焖鸡,我都不敢细算。

6.2 官方数字的真相

官网宣传"速度快 193.6 倍、成本便宜 444.6 倍"。这俩数字猛得离谱,但它来源于官方自己的工作流评测(workflow evals),官方自己都承认是偏高端场景的极端表现。技术博客给的常规范围是:同等智能水平下,快大约 40~200 倍。

官方发布评测时还列了四项保留意见,翻译成人话:

  1. 评测工作流是自己团队搭的——裁判是我自己人;
  2. 参考标准答案来自 OpenAI 和 Anthropic 的模型输出——拿对手的答案当标准答案,颇有"抄作业还嫌别人字丑"的风范;
  3. 输入上下文刻意设计得短小高密度,对 Jev 天然有利——主场作战;
  4. 对照组 LLM 是拿官方包装的 System One wrapper 调用的,这种封装本来就让它更慢更贵——对手绑着沙袋上场。

6.3 第三方实测

目前业界能参考的第三方数据有两份:

  • Vercel:把 Jev 用在指令安全分类,实测处理速度快 5~18 倍,分类准确度还更高。
  • Bryo AI:商务邮件分类里对比 Jev 和 Gemini,Jev 便宜 10~20 倍,但决策准确度 Gemini 略占优势。

6.4 定价的三点现实

官方也承认:目前无法证明价格里没有早期市场补贴;能否长期维持要时间检验;不过预期的长期走势是只降不升。

所以我的建议是:账面数字适合当立项测试的假设依据,别原封不动写进采购回报测算里。校准表现目前全是官方内部评测,还没有独立的第三方校准检验报告——在报告出来之前,对"优秀"两个字保持礼貌的怀疑。

7. 什么任务适合交给 Jev

7.1 三个条件

只有当任务同时满足以下三个条件,才适合交给 Jev:

  1. 输入是纯状态或数据,不是多轮对话;
  2. 输出是结构化决策(类别、打分、选项),不是长篇大论;
  3. 结果直接交给程序消费(if 分支、写数据库),不需要人眼看。

7.2 五个动作动词

业界总结了五个典型动作:Classify(分类)、Route(路由流转)、Score(量化评分)、Extract(实体抽取,如合同到期日、订单流水号)、Branch(逻辑分支,如自动放行或转人工)。

这些任务的共性是:吞吐量极大、单次判断边际价值中等、业务风险能用概率门槛和防御代码对冲。

7.3 顺便能监控大模型

经典场景:用 Jev 监控大型 LLM——实时审查它的输入 Prompt、抽取出的关键字段、推理轨迹、工具调用参数,防越狱、防错误引用、防幻觉。这类监控调用并发频次远高于业务调用,所以监控模块成本必须比业务核心低至少一个数量级。不然你省下的钱转头全交监控费,属于典型的"省着省着,窟窿等着"。

相对的,这些任务必须留给通用 LLM:开放式聊天、富文本客服回复、写作 Copilot、Coding Agent、复杂数学推演、开放式多步规划。让 Jev 干这些,等于让会计去唱美声——不是不能唱,是没必要互相折磨。

两者还能打配合。Browser Use 联合创始人 Gregor Zunic 演示过一个查机票 Demo:Jev 判断并选定下一步动作,轻量小 LLM 负责生成对应文本。整个交互约 7 秒,花费约 0.0039 美元——我打字的时间都不到,花出去的钱连地铁起步价都不够。当然,这只是成功原型,别直接推导成工业级普适结论。

7.4 边界清单

开发前记住 Jev 1.13 的边界:

  • 不擅长计数与精确数值运算、日期前后比对、多层间接因果推理;输入里混大量无关噪音,表现会下滑;
  • 目前只原生支持文本,图像、音频、视频得先预处理成文本或结构化字段;
  • 英文表现最好,中文等 CJK 语系支持但准确度稍逊;
  • state 加问题定义不能超 32K token,单次完整请求总量不能超 64K token;
  • 单个 Choice 最多 255 个选项,类别太多就拆两步:先对每个类别快速打分筛选,再在缩小后的候选集里做最终单选。

工程最佳实践:先用工程检索粗筛过滤无关数据,再让 Jev 做精准语义判断,日期对比、数学运算、强规则核验坚决交还给传统代码逻辑。各司其职,谁也不为难谁。

8. 新手最容易踩的五个坑

前人踩过的坑,你其实大概率还会踩,但先看完再踩,至少摔得明白。

8.1 把巨型模糊问题直接丢给模型

比如"这位客户该怎么处理?"——这个问题里混着类别路由、情绪烈度、退款资格核验、风险识别,维度多到像你老板的脑回路。正确做法:拆成多个专职小问题,最后在代码层面汇聚结果。一句话能问的事,别让模型做阅读理解。

8.2 Choice 漏设 other

没有逃生选项,模型遇到没覆盖的场景只能在错误选项里盲猜。相当于你问别人"喝茶还是咖啡",人家说"白开水",你非逼他二选一。

8.3 Score 用抽象主观词

刻度写"低、中、高",你和模型的理解就彻底分道扬镳了。定义写具体,别让双方在"中等"这个词上扯皮。

8.4 起步就让模型触发不可逆敏感操作

正确的落地顺序:先从打标签、优先级排序、辅助建议做起;等离线回归测试和大量人工抽检查验验证了阈值合理性,再逐步开放低风险环节自动化。一上来就让模型直接封号、退款、拉黑,出事了只能怪自己步子迈太大——容易扯着蛋,是真的。

8.5 拿英文评测表现猜中文场景

做中文业务的团队,一定要拿生产环境的真实样本做独立验证,覆盖官方书面语、口语化表达、带错别字的、中英夹杂的。英文行不代表中文行——就像老外说"谢谢"很地道,不代表他会说"卧槽"。

9. 上线四步走

Jev 目前是 Early Access 预览阶段,得先去官方控制台(console.typesafe.ai)申请登记排队。顺便说一句,它刚发布时因为请求量暴增,API 短暂中断过——首发即崩,这很互联网。

9.1 对照测试

准备同一批真实历史数据样本,现有 LLM 跑一遍,Jev 也跑一遍,拉齐对比准确率、校准稳定性、p95 延迟、总成本。

9.2 影子模式

把 Jev 正式接入真实链路,但只在后台静默记录决策,不触发任何实际业务动作。让它和现有系统并行跑一段时间,用真实流量喂养数据。像带新人入职:先让他跟着看,别一上来就让他操作生产库。跑完你可能还会发现 Jev 比现有系统靠谱——恭喜你,接下来要面对"换还是不换"这个更折磨人的问题了。

9.3 小流量试行

影子数据验证后,圈定部分低风险边界,正式开放决策放行权限,持续灰度观察稳定性。

9.4 持续监测

生产环境随时保留一键切回传统 LLM 的备用路径;一旦发现概率校准漂移,立刻报警介入。

另外两个生产细节:默认的 jev-latest 会随版本迭代自动变动,阈值调优定型后务必锁定具体模型版本 ID;日志里完整记录每次业务响应对应的版本号。不然哪天官方悄悄改了模型,你的阈值体系一夜回到解放前,你还以为是玄学。

还没拿到内测资格?社区有开源的 System One Adapter,用标准 LLM API 就能完整模拟 Jev 的调用接口,可以先拿它跑通工程架构和对照评测。

10. 名字的来历,和第一步行动

10.1 系统 1 与杰文斯

System One 的概念来自卡尼曼(Kahneman)著名的"系统 1 / 系统 2"理论:系统 1 快速、凭直觉、容易出错;系统 2 缓慢、耗费精力、深思熟虑。官方也承认"系统 1"在大众认知里带着"容易出错"的偏见,但他们坚信 RLCD 优化过的 System One Model 能更稳定可靠——具体论证官方说以后专门写文章。行吧,画饼也是产品发布的一部分。

Jev 这个代号,致敬 19 世纪经济学家威廉·斯坦利·杰文斯(William Stanley Jevons)。1865 年,杰文斯在著作《煤炭问题》里提出著名的"杰文斯悖论":蒸汽机效率大幅提升、煤炭利用率提高后,煤炭总消耗不但没降,反而爆发式增长——因为成本一低,新场景就成数量级地冒出来。

TypeSafe 拿这个名字做了一场战略押注:当单次智能判断的成本下降一个数量级,必定解锁多几个数量级的新应用场景。以前那些因为太贵太慢被放弃的海量高频判断,在新的成本结构下都会被重新激活。翻译成人话:以前"这破判断也配用 AI?“的任务,以后会变成"不用 AI 我都觉得亏”。

10.2 对开发者最有效的第一步

这笔赌注能不能兑现,要看外围工具链成熟度、开发者部署惯性、以及对模型原生概率的信任程度。未来几个月盯这几个风向标:价格守不守得住、API 稳不稳定、有没有第三方独立校准评测、同生态竞品什么时候冒出来。

那我们开发者现在能做什么?

挑一个你正在用通用 LLM 处理、但一直嫌贵嫌慢的"小判断"任务,拉一批历史脱敏数据,亲自跑一次对照测试。就算最后不用 Jev,这个过程也帮你沉淀了一套终身可复用的基准评测集。这笔账怎么算都不亏——属于那种"就算输,也能输出一套方法论"的投资。比买健身卡划算多了。

P.S. 目前国内还是很缺AI人才的,希望更多人能真正加入到AI行业,共同促进行业进步,增强我国的AI竞争力。想要系统学习AI知识的朋友可以看看我精心打磨的教程 传送门http://blog.youkuaiyun.com/jiangjunshow,教程通俗易懂,高中生都能看懂,还有各种段子风趣幽默,从深度学习基础原理到各领域实战应用都有讲解,我22年的AI积累全在里面了。注意,教程仅限真正想入门AI的朋友,否则看看零散的博文就够了。

Jev模型与TypeSafe AI:结构化决策如何用类型安全根治逻辑混乱 在AI决策系统落地中,业务逻辑膨胀常让判断流程变成难以维护的隐性状态机。类型安全作为工程基石,能在编译期拦截数据形态错配,而结构化决策通过有向无环图(DAG)把每条路径的输入、输出与状态约束显式化。Jev模型正是将这一理念融入决策引擎的设计:节点只负责单一判断,边携带纯布尔条件,业务语义类型校验替代运行期空值排查。从客服机器人到风控审核,这种图结构让规则可声明、可重构、可追踪,路径哈希化更让线上排障效率倍增。当传统if-else在需求迭代中逐渐失控,结合TypeSafe AI的Jev模型提供了一套兼顾工程规 阅读详情

相关推荐

Jev模型深度解析:TypeSafe AI与System One Model的部署、集成与避坑指南

在大模型应用开发中,API调用与SDK集成是核心环节,而类型安全与低延迟推理正成为关键需求。TypeSafe AI通过引入schema约束,确保模型输出结构可预期,减少解析代码与运行时错误;System One Model则强调快速响应,适合实时交互与数据系统构建。Jev模型融合这两大特性,为开发者提供结构化输出与高效推理能力,适用于聊天助手、自动化工具及本地部署场景。本文围绕Jev的申请、部署、API/SDK集成及高频报错排查,提供从入门到落地的完整实践指南。

weixin_29038537的博客 226

Jev模型:TypeSafe AI与结构化决策的工程实践

在AI应用落地中,模型输出的可靠性与可编程性成为关键挑战。TypeSafe AI通过类型安全约束,确保模型输出符合预定义结构,使程序可直接消费,无需额外解析。结合System One快思考理念与RLCD训练方法,这类模型能快速生成带概率的结构化决策,显著提升自动化流程、Agent动作选择及风控审核等场景的确定性。Jev模型正是这一范式的代表,它不生成自然语言,而是输出可直接编程的决策数据,为工程师提供高可靠、低延迟的决策引擎,推动AI从对话走向可管理的自动化决策。

weixin_29031161的博客 303

Jev模型与AI Agent实战:从工具调用到TypeSafe AI的落地指南

大语言模型在工具调用与结构化输出上的能力,正成为AI Agent落地的关键。其核心原理在于通过函数调用与类型约束,将自然语言指令转化为可执行的精确操作,从而提升任务成功率与系统稳定性。这一技术价值在自动化流程、智能助手等场景中尤为突出,尤其当模型需要连续调用多个工具并处理条件分支时。Jev模型凭借在指令遵循与结构化输出上的优化,结合TypeSafe AI的schema校验思路,为Agent开发提供了更可靠的执行引擎。Vercel AI Gateway等工具链则进一步简化了模型调用与状态管理,让开发者能聚焦于

weixin_34254848的博客 286

jev-trader 的 AI 大脑:TypeSafe Jev 模型如何在 100ms 内给出买卖决策

**jev-trader** 是一个运行在 Monad 链上的 AI 交易机器人:TypeSafe 的 **Jev 模型**(一种约 100ms 内返回类型化决策的 System One 推理模型)实时盯住 Kuru 交易所的 MON-USDC 订单簿,每 300ms 一个区块给出一次 **buy 或 sell** 决策,并立刻把真实订单挂上链上订单簿。本文将拆解这套「AI 大脑」的输入、输出,以

gitblog_00812的博客 69

Jev:基于JSON Schema的TypeSafe AI接口中间件

JSON Schema 是定义结构化数据契约的核心标准,广泛应用于API设计、数据校验与前后端协作。其本质是通过声明式约束(type、enum、required等)保障数据类型安全与格式一致性。在AI与API深度耦合的今天,传统大模型输出常因缺乏强类型约束导致JSON解析失败、字段错位或枚举越界,显著抬高工程容错成本。TypeSafe AI 正是在这一背景下兴起的技术范式——它将Schema从文档规范升维为运行时强制契约,使模型输出在生成阶段即受语义级校验。Jev 作为该范式的典型实现,不替换底层模型,而是

weixin_33785108的博客 210

Go语言集成Ollama本地大模型:gollama库实战指南

在当今的AI应用开发中,大型语言模型(LLM)的集成已成为关键技术。其核心原理是通过API调用,将自然语言处理能力嵌入到各类应用中。从技术价值看,本地化部署的LLM解决了数据隐私、网络延迟和持续成本三大痛点,尤其适合处理敏感数据或对实时性要求高的场景。在工程实践中,开发者常使用专门的客户端库来简化与模型服务的交互,例如通过封装REST API、提供类型安全接口和流式处理支持,从而提升开发效率和代码健壮性。具体到Go语言生态,结合Ollama这一流行的本地大模型运行工具,可以实现完全离线、低延迟的AI功能集成

weixin_28728443的博客 605

12-Jev决策模型与记忆引擎-AI拆解时代

2026 年 9 月会被记住,不是因为某个大模型又刷新了什么榜单,而是因为这个月行业开始认真地拆解「智能」这个词了。Jev 证明了决策可以从 LLM 里拆出来,快两百倍、便宜四百倍。我们在更早的时候证明了记忆必须从 LLM 里拆出来——上下文窗口不是记忆,prompt 工程堆不出长期经验。接下来会有更多的拆解:情感、直觉、规划……每一个维度都会长出自己的专用引擎。大模型一统天下的时代结束了。不是因为大模型不行了,而是因为它终于不必什么都干了。

drilong的博客 361

FlowDroid高级技巧:从基础配置到精准Android静态污点分析实战

静态污点分析是软件安全领域的核心技术,通过追踪数据在程序中的流动路径,识别潜在的隐私泄露与安全漏洞。其原理基于控制流与数据流分析,构建程序执行模型,模拟敏感信息从源头到汇聚点的传播过程。这项技术的核心价值在于能在不运行代码的情况下,系统性地发现隐蔽的数据流问题,为应用安全提供前置保障。在Android应用安全审计、合规检测等场景中,静态污点分析工具如FlowDroid已成为发现数据泄露、硬编码密钥等问题的标准手段。本文聚焦于FlowDroid的高级实战应用,深入探讨如何通过优化配置、调参策略及结果分析,将这

weixin_29324401的博客 367

Jev不说话模型:TypeSafe AI与结构化决策实战指南

TypeSafe AI通过类型系统约束模型输出,将自然语言生成转化为结构化决策,降低解析成本与错误率。其核心原理在于用概率表达置信度,结合RLCD对比学习训练,使模型在预定义选项间快速选择而非生成解释。这种技术价值在于提升决策可靠性与可编程性,适用于风控、调度、工单分流等场景。Jev作为System One模型,以低延迟、高可控性在Agent流程中充当判断节点,实现从申请接入到阈值调优的工程落地。

weixin_29054399的博客 239

ZYNQ出现问题及解决办法汇总(一直更新)

问题目录使用软件及开发板版本一,vitis在build project时卡住。二,Could not find FPGA device on the board for connection 'Local'三,FPGA configuration failed:DONE PIN is not high四,Could not find ARM device on the board for connection 'Local' 使用软件及开发板版本 开发板:MZ7XA-7020 软件:vitis2020.2(

qq_45057368的博客 1万+

MR2数据集实战:5步搞定多模态谣言检测模型训练(附完整代码)

本文详细介绍了如何使用MR2多模态数据集构建高精度谣言检测系统,涵盖环境配置、数据准备、多模态特征工程、模型架构设计、训练调优及部署优化等5个关键步骤。通过双线性融合技术处理文本、图像和网页三模态数据,解决特征对齐和模态冲突等工程难题,并提供完整代码实现和性能优化方案。

weixin_42657024的博客 239

TypeSafe AI Jev决策模型验证:分类聚合与类型安全实践

在机器学习中,分类任务常面临决策边界不稳定和输出不可控的挑战。Transformer编码器通过注意力机制提取全局特征,结合类型约束和聚合策略,可提升决策一致性与鲁棒性。Jev决策模型基于此思路,强调分类聚合与类型安全,适用于客服工单路由、内容审核等场景。其运行时候选标签和置信度加权聚合,为工程落地提供稳定支持。

weixin_32238157的博客 309

ArcGIS栅格拼接全攻略:从核心原理到色彩平衡与大数据处理

在GIS数据处理中,栅格拼接是一项基础且关键的操作,其本质是将多幅具有重叠区域的栅格图像无缝整合为一张完整地图。该技术涉及空间参考统一、像元对齐与色彩融合等核心原理,是构建连续地理空间数据的基石。其技术价值在于保障数据完整性、提升可视化效果,并为后续的空间分析提供可靠底图。在遥感影像处理、数字高程模型构建及地图制图等应用场景中,高质量的拼接成果至关重要。本文聚焦于ArcGIS平台,深入解析其栅格拼接工具,并针对常见的色彩不一致与大数据量处理难题,提供了基于**色彩平衡**和**金字塔**优化的实战解决方案,

weixin_33158887的博客 263

TypeSafe Jev 模型深度分析与使用报告-workbuddy分析

Vercel、Cloudflare、LangChain、Langfuse 在三天内完成集成,Vercel 称其成为 AI Gateway 历史上采用最快的模型发布——24 小时内覆盖近 13% 的付费团队,超过 GPT-5.6 系列发布时的两倍。适合做智能体流水线里高频、低风险、答案空间可预先枚举的「判断层」,不适合需要开放推理、算术、日期运算或自由生成的任务。( 3557 行 <0.1 , 1847 行 >0.8 ),「这正是你希望看到形状,但形状不等于校准曲线」通用铁律:一次只问一件具体的事。

weixin_69334636的博客 476

【系列06】端侧AI:构建与部署高效的本地化AI模型 第5章:模型剪枝(Pruning)

结构化剪枝移除的是模型中的整个结构,比如一个完整的神经元、一个卷积核或一个通道。修剪后的模型权重矩阵仍然是稠密的,因此能够充分利用现代硬件和软件的并行计算优势,从而显著提升推理速度。非结构化剪枝是最细粒度的剪枝方法。对于需要极致压缩但对推理速度要求不高的场景,非结构化剪枝是好的选择。它就像修剪一棵树,通过移除模型中不必要的“枝叶”,让模型变得更精简、更高效,从而适应资源受限的设备。,开发者可以方便地对模型的不同层进行剪枝,并根据需求进行微调,从而在不影响太多性能的前提下,获得一个更轻量、更高效的模型。

学习,输出==》再学习再输出 649

【unity实战】Unity手搓脚本工具实现合并网格功能

本文介绍了在Unity中优化网格性能的方法,通过合并重复网格减少绘制调用。主要使用Mesh.CombineMeshes方法实现网格合并,支持统一材质和多材质处理。核心内容包括:1)基础合并脚本实现,将子网格合并到父对象并禁用原网格;2)统一材质设置,支持自定义或默认材质;3)多材质合并方案,通过设置mergeSubMeshes=false保留子网格材质索引。文章还提供了完整代码示例和操作演示,适用于实际项目中的网格优化需求。

向宇的博客,专注php/web全栈 unity游戏开发,欢迎大家评论纠错 560

Jev 智能 if 语句:TypeSafe AI 如何替代业务代码中的条件分支

在业务系统中,条件分支逻辑常散落在大量 if-else 代码中,导致维护成本高、迭代缓慢。TypeSafe AI 通过约束模型输出为预定义枚举类型,确保决策结果安全可靠,其核心原理是将结构化输入映射到确定性输出,实现快速、可解释的判断。这种技术价值在于将规则从代码中抽离,形成可版本化、可热更新的决策资产,适用于工单路由、风控审核、内容过滤等场景。Jev 作为智能 if 语句,正是这一思路的工程实践,它结合 System One 快思考与 RLCD 对比学习,为开发者提供轻量、类型安全的决策节点,有效替代冗长

weixin_29039773的博客 239

【电机驱动与运动控制】期末重点问题集合

问题1 梯形曲线和S形曲线各自的特点和区别,比较梯形和S形曲线位置、速度、加速度、加加速度的区别。 问题2 总惯量的计算包含哪几个部分? 哪几个部分需要进行折算? 在齿轮箱的输出侧(2号轴)总惯量需要折算到齿轮箱的输入侧(1号轴) 为什么需要折算? 齿轮箱比的存在使2号轴的转速和电机的转速不同 问题3 指出每个部分的名称。 每个部分的功能。 主磁极的励磁绕组:绝大部分直流电机都是由励磁绕组通以直流电建立主磁场; - 电枢铁心:在两个主磁极内表面之间,由硅钢片叠成的圆

【人工智障 | 计算鸡视觉 | 机器孩】 5703

【Jev / Laya】System 1 决策模型深度拆解:一次前向出决策的原理、指标核对与本地部署

把大模型当分类器用,是这两年最普遍也最别扭的工程实践——让一个生成系统吐 JSON,再用正则解析回结构化字段,幻觉和解析失败都成了常态。Jev(TypeSafe AI)和 Laya(ConvAI Innovations)代表另一条路线:不做文本生成,给定状态和类型化问题,一次前向直接返回概率分布与置信度。Jev 是闭源托管 API,Laya 是 Apache-2.0 开源、可完全离线的 421M 编码器模型,两者接口兼容。本文拆解双方实现原理、逐项核对公开指标、给出适用边界与从零部署的完整命令。

格物致知 983

文档:亲测可用解决vnc灰屏,黑屏,鼠标大黑叉情况

主要解决vnc-viewer灰屏,黑屏,鼠标大黑叉等现象,详细见文档。

win10 跳过U8环境检测的IE WebControls.rar

win10 安装u8的时候 提示IE WebControls 不通过,这个工具可以欺骗u8的检查。 跳过U8环境检测的IE WebControls。提示导入失败后,重新检测通过。

Jev模型实战:TypeSafe AI与System One Model的API/SDK集成指南

在AI应用开发中,模型输出的稳定性和响应速度是工程落地的关键挑战。TypeSafe AI通过类型约束确保结构化输出的一致性,System One Model则借鉴快思考机制实现低延迟推理。这些技术能显著减少后处理代码,提升系统可靠性,适用于实时信息抽取、分类打标等场景。Jev模型正是这一理念的工程化实践,其API和SDK为开发者提供了高效接入路径。

weixin_29054399的博客 247

ssm框架搭建

这个是一个在idea上成功跑起来的ssm框架项目,保存在这里方便以后使用直接下载

Jev模型实战:TypeSafe AI与Agent工作流接入指南

TypeSafe AI是一种让模型输出结构化、可验证数据的技术理念,其核心原理是通过类型约束机制,使模型生成的内容直接符合预定义的数据结构,从而省去后处理清洗环节。在工程实践中,这种能力显著降低了系统集成的出错概率和开发成本,尤其适用于信息抽取、API参数生成等场景。Jev模型基于System One Model定位,在保持快速响应的同时,通过API与SDK支持结构化输出,为开发者提供了从注册、密钥管理到错误排查的完整接入路径,助力构建稳定高效的自动化工作流。

weixin_29093169的博客 223

jre9下载 jdk9

(Java SE Runtime Environment 9.0) 9.0u175 官方最新版 【x86|x64】

Jev 深度解析:不生成字的判别式模型如何为 AI 智能体提供毫秒级安全决策

在 AI 智能体自主执行工具调用与代码操作时,传统规则引擎难以应对上下文相关的安全判断。判别式模型通过结构化输入直接输出允许、拒绝或人工确认的决策,其核心原理是将安全策略转化为强类型定义,并借助对比强化学习优化判断边界。这种 TypeSafe AI 方案能在毫秒级完成低成本的合规校验,有效降低生成式模型带来的延迟与幻觉风险。在浏览器自动化、命令执行、文件读写等场景中,它作为策略决策点嵌入智能体框架,为工具调用提供实时安全护栏。Jev 正是这一方向的典型实践,聚焦于让 AI 安全地执行操作而非生成内容。

weixin_29038537的博客 93

32.8ms 的“反射弧“:开源决策模型 Laya 全面拆解,正面硬刚闭源 Jev

当大模型竞逐“更会聊天”时,Jev 以“只做选择题”的 System 1 模型异军突起,由 ChatGPT 共同发明人 Diogo Almeida 创立,主打快速决策。仅3天后,独立研究者 Nandakishor 用开源模型 Laya 实现32.8ms响应,快7.8倍,且完全免费。Laya 不仅速度碾压,多语言与长上下文能力也领先,引发开源反击热潮。文章深度对比二者性能、应用场景及真实坑点,揭示:在自动化流水线中,结构化判断应舍弃冗长生成,拥抱高效决策模型。

weixin_69359007的博客 1154

TypeSafe AI 刚官宣 4000 万美元融资,“不会写代码“的 Jev 背后,是 RLCD 1B 复刻路线的全面走红

2026 年的 AI 融资市场上,一笔 4000 万美元的 A 轮显得格外扎眼——不是因为金额,而是因为它投给了一个"不会写代码、不会写文章、甚至不会正常聊天"的模型。由 OpenAI 前研究员(坊间称为"RLHF 之父")创立的 TypeSafe AI 在 9 月推出 System One 模型 Jev,把"概率化判断"从大模型的生成能力里彻底剥离出来,做成了一根可以嵌入任意工作流的毫秒级"智能

gitblog_00614的博客 33

Jev:零生成的TypeSafe AI中间件与确定性拒绝实践

在大模型泛滥生成与幻觉频发的背景下,'确定性AI'正成为企业级系统的关键诉求——它强调可验证性、审计合规与边界可控,而非单纯追求智能输出。TypeSafe AI通过静态类型系统(如Pydantic Literal)将业务契约编译期固化,使‘不生成’从运行时约定升级为数学可证的系统属性。Jev作为典型代表,以217行强类型Web服务代码实现意图拦截、结构化审计与零幻觉拒绝,在金融风控、医疗辅助及版权敏感场景中提供LLM无法替代的确定性保障。其核心价值不在功能丰富,而在精准划界:用规则引擎替代概率模型,用审计I

weixin_29052717的博客 195

Jev模型TypeSafe AI解析:System One快思考与结构化输出接入指南

大模型接入生产系统时,输出不稳定和格式不可控是常见工程痛点。TypeSafe AI通过预定义schema约束模型输出,将解析不确定性前移到契约定义阶段,实现结构化数据抽取。System One快思考模型专注于模式识别、格式转换等高频确定性任务,配合低显存量化部署和本地推理框架,可显著降低接入成本。在智能客服、信息抽取等场景中,快慢模型分工架构能兼顾响应速度与处理深度。Jev模型以类型安全为核心,为开发者提供输出可控、易于集成的模型组件,其密钥管理、并发控制和schema设计是落地关键。

weixin_34054931的博客 347
上一篇: 大模型鹈鹕骑车名场面,一场持续两年的趣味AI评测
下一篇: Jev横空出世:不说话的AI,凭什么引爆海外AI圈
人工智能AI技术
博客等级 码龄16年 2万+粉丝 1415原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值