开源 SemIf 无需等 Jev：4B 模型在单张 3090 上跑语义决策

Hacubu · x · 2026-09-22

开源项目 SemIf（前身 OpenJev，与 Jev/TypeSafe 无关）号称无需 Jev 的 waitlist，今天就能在浏览器里直接试用，GitHub 已有约 3k star。

核心思路：大部分 agent 决策其实很小（路由、重试、判断证据是否支持某个结论），用聊天模型来回答要生成大段文本再解析回 if 语句，太浪费。SemIf 用一个冻结的 4B 开源模型直接产出语义化的条件判断，宣称在单张 3090 上即可本地运行，仓库含 benchmarks、WebGPU 浏览器 demo 和 exl3-bridge，并与 Jev 做了同题（21 个问题、同状态、t=0 对齐）的独立复测。