← 返回首页

实验室

我在信任开源模型之前,先让它们处理真实工作。多数编码任务先交给速度快的本地模型,失败后换更强的本地模型,之后才会用到云端。对董事会而言,要点不在于某一个模型,而在于一种习惯:任何工具,在通过针对你自己工作的简单测试之前,都不应被信任。

模型如何制成

模型库中的每个模型都经历过这八个阶段中的若干个。选择一个阶段,可以看到它如何运作、训练什么,以及提出它的论文。

图 1训练流程与目标
基础后训练压缩 · 适配部署θ0πθθSBAθmGGUF → llama-server01预训练02SFT03偏好微调04RL · GRPO05蒸馏06LoRA07模型合并08量化
因果掩码查询 i ↓ 键 j →Mij = 0,若 j ≤ iMij = −∞,其他情况x1x2x3…xttoken + 位置嵌入× L掩码自注意力MLPLM 头 → softmax词表 V 上的 pθ(· | x≤t)xt+1损失 ℒ已见 token 数(对数),示意ℒ(θ) = − ∑t=1T log pθ(xt+1 | x≤t)自监督:目标就是语料本身,只是错开一个 token。x1:T 来自语料的 token 序列pθ 词表 V 上的 softmaxθ 全部权重,从随机初始化开始输出:基础模型 θ0。它能续写文本,但还不会遵循指令。机制目标函数Brown et al., 2020 · Language Models are Few-Shot Learners⟨user⟩0x10x20…0⟨asst⟩0y11y21…1yn1⟨eos⟩1mt指令 x · 仅作上下文− log pθ(yt | x, y<t)对话模板中的一个序列 s = [x ; y]。损失掩码 mt只让梯度落在回答的 token 上。θ0 基础模型∇θ ℒSFTθSFT遵循回复格式ℒSFT(θ) = − ∑t mt log pθ(st | s<t)即预训练损失,但只作用于回答:mt 在 y 上为 1,在 x 上为 0。x 指令,含模板 tokeny 一份写好的参考答案mt 每个 token 的损失掩码输出:θSFT。它按所见示例的形式作答。机制目标函数Wei et al., 2021 · Finetuned Language Models Are Zero-Shot Learnersxyw ✓yl ✗偏好回答被拒回答πθ训练中πrefθSFT 的冻结副本σ(z)间隔 z = β(Δw − Δl)隐式奖励 r̂(x, y) = β log πθ(y|x) / πref(y|x)DPOℒDPO = − 𝔼 log σ(β [Δw − Δl])Δ = log πθ(y|x) − log πref(y|x)RLHFp(yw ≻ yl) = σ(rφ(x, yw) − rφ(x, yl))先用成对数据拟合奖励模型 rφ,再用 PPO 针对它优化策略,并加上相对 πref 的 KL 惩罚。DPO 直接从成对数据达到同一最优解,无需奖励模型。Ouyang et al., 2022 · Training language models to follow instructions…机制目标函数Rafailov et al., 2023 · Direct Preference Optimizationqπθ_oldG = 6 个采样答案验证器riÂio1✓1+1o2✗0−1o3✓1+1o4✓1+1o5✗0−1o6✗0−1单元测试或已知结果给出 ri ∈ {0, 1}; mean(r) = 0.5, std(r) = 0.5Âi = (ri − mean(r)) / std(r)ρi = πθ(oi|q) / πθ_old(oi|q)J(θ) = 𝔼 [ 1/G ∑i min(ρi Âi,clip(ρi, 1−ε, 1+ε) Âi) ]− β 𝔻KL(πθ ‖ πref)序列级形式。没有价值网络:以组内均值为基线,高于均值的答案得到强化,低于均值的被抑制。机制目标函数Shao et al., 2024 · DeepSeekMath(提出 GRPO)教师模型(大)学生模型(小)zTzSpTτ (填充 τ = 4,轮廓 τ = 1)pSτ (τ = 4)KL(pTτ ‖ pSτ)= 此处为 0.018 nats另加硬标签上的CE(y, pS),τ = 1piτ = exp(zi/τ) / ∑j exp(zj/τ)ℒ = (1 − α) CE(y, pS) + α τ2 KL(pTτ ‖ pSτ)较高的 τ 会软化教师分布,让学生也学到错误答案之间的排序。τ2 使梯度尺度不随 τ 变化。输出:θS。体积只有几分之一,却保留了教师的大部分行为。机制目标函数Hinton、Vinyals 和 Dean,2015 · Distilling the Knowledge…x ∈ ℝkW0 ∈ ℝd×k 冻结A ∈ ℝr×kB ∈ ℝd×rr+α/rh ∈ ℝdd = k = 4096, r = 16完整 ΔW: 16,777,216LoRA r(d + k): 131,072= 单个矩阵的 0.78 %A ~ 𝒩(0, σ2), B = 0因此第 0 步时 ΔW = 0h = W0 x + (α/r) B A xΔW = BA, rank(ΔW) ≤ r ≪ min(d, k)只有 A 和 B 接收梯度;W0 保持发布时的原样。微调在普通硬件上就能完成,适配器文件也很小。部署前: W' = W0 + (α/r) B A机制目标函数Hu et al., 2021 · LoRA: Low-Rank Adaptation of LLMsτ1τ2τ3γ+++−++−+τm空心:已修剪(较小) 灰色:保留 深色:符号与 γ 不一致,舍弃θm = θbase + λ τm8 个中保留前 5 个示例数值,仅作示意τi = θi − θbase1 修剪 保留 |τi| 最大的 top-k %2 选符号 γ = sgn(∑i τ̂i)3 合并 τmj = mean{ τ̂ij : sgn = γj }仅限相同架构。修剪和符号投票防止一个任务的更新抵消另一个。LoRA 合并: W = W0 + (α/r) B A机制目标函数Yadav et al., 2023 · TIES-Merging权重 w,一个张量4 位网格的 16 个级别,间距 s一个块s32 个权重 × 4 位编码 q,每块另加一个缩放因子7·109 个权重14 GBbf16,16 位≈ 3.9 GBQ4_K,每个权重 4.5 位s = (max w − min w) / (2b − 1)q = round(w / s) + z ∈ {0, …, 2b − 1}ŵ = s (q − z)GPTQminŴ ‖ W X − Ŵ X ‖22逐列进行,每个舍入误差按 H−1加权,转移到尚未量化的列上,其中 H = 2 X X⊤。机制目标函数Frantar et al., 2022 · GPTQ: Accurate Post-Training Quantization…
选择一个阶段,或使用方向键第 1 阶段,共 8 个 · 预训练
  1. 预训练

    模型实验室把海量文本、代码和图像输入模型,模型学习预测下一个 token。结果是基础模型,它能续写文本,但还不会遵循指令。

    在实验室中 我在自己的硬件上运行已发布的基础模型和指令模型并加以测试;我不做预训练。 查看模型库

    论文:Language Models are Few-Shot Learners (Brown et al., 2020)

  2. 指令微调(SFT)

    用已解答的范例训练基础模型,例如一个问题配一个好答案。由此它学会有用回复的形式。

    论文:Finetuned Language Models Are Zero-Shot Learners (Wei et al., 2021)

  3. 偏好微调(RLHF、DPO)

    由人或评判模型比较两个答案,标出更好的一个。然后模型被推向更受偏好的答案,方式是通过单独的奖励模型(RLHF),或直接用成对数据(DPO)。

    在实验室中 我自己不做模型的偏好微调。我检查偏好微调对厂商发布的模型造成了什么影响:每次发布都用同样的、答案已知的任务来测,因此变化体现为分数,而不是印象。 查看评测

    论文:Training language models to follow instructions with human feedback (Ouyang et al., 2022)Direct Preference Optimization (Rafailov et al., 2023)

  4. 带可检验奖励的强化学习(GRPO)

    模型针对同一个问题写出一组答案,由检查器(如单元测试或已知结果)给每个答案打分。高于组内平均的答案得到强化,于是模型学会朝能通过检验的结果推理。

    论文:DeepSeekMath, the paper that introduced GRPO (Shao et al., 2024)

  5. 蒸馏

    由大型教师模型产生输出,再训练较小的学生模型去匹配这些输出。学生模型可以用小得多的体积保留教师模型的大部分行为。

    论文:Distilling the Knowledge in a Neural Network (Hinton, Vinyals and Dean, 2015)

  6. LoRA 微调

    原始权重保持冻结。在旁边训练两个小的低秩矩阵,所以微调在普通硬件上即可进行,适配器文件也很小。

    在实验室中 我在 Qwen3.5 Base 模型上训练 LoRA 适配器,合并为 bf16 GGUF,并用 llama.cpp 提供服务。

    论文:LoRA: Low-Rank Adaptation of Large Language Models (Hu et al., 2021)

  7. 模型合并

    把两个或更多架构相同的模型合并成一组权重。LoRA 适配器也可以合并回其基础模型,得到一个可直接运行的文件。

    在实验室中 适配器在使用前会合并成 bf16 GGUF 文件。

    论文:TIES-Merging: Resolving Interference When Merging Models (Yadav et al., 2023)

  8. 量化

    权重用更少的位数存储,例如用 4 位而不是 16 位。文件变小,可在普通硬件上运行,代价是准确率有所损失,而这一损失必须针对具体任务来测量。

    在实验室中 我的本地模型以 GGUF 文件在 llama.cpp 下运行,其中多数量化到 16 位以下。

    论文:GPTQ: Accurate Post-Training Quantization for Generative Pre-trained Transformers (Frantar et al., 2022)

正在构建

用于测试网站的快速浏览器智能体

我正在构建一个本地优先的智能体,由它驱动 Playwright 快速测试网站。多数浏览器智能体让一个大模型读完整个页面并做出所有决定,这样可能又慢又贵。这个智能体把工作拆开,让每个部分只做自己擅长且快的事。

  1. 观察代码把页面读成一张简短的编号表,列出用户能看到的控件。
  2. 规划规划模型写出下一个单一步骤,例如填写电子邮件栏,以及需要输入的文字。
  3. 选择一个小型决策模型从该表中选出控件和动作,它从不撰写文字。
  4. 执行Playwright 在可见的浏览器窗口中点击、输入、选择或滚动。
  5. 验证代码检查发生了什么变化,发现智能体卡住时,会沿着重试阶梯逐级升级。

这一模式遵循两条规则。只有代码能把任务标记为完成,方法是通过一道检查页面本身的完成关卡。模型可以阻止它判断有风险的操作,但绝不能凭自己的一句话批准某个操作。

状态:已构建包含 41 个任务(表单、组件、动态页面、交互和单页应用)的基准测试,以及 11 个本地测试页面。速度方面的改动已经加入,但这一核心尚未测量,所以此处不列数字。

模型库

我运行或关注的每个模型,按其承担的工作分组。每个模型都会说明它的用途、企业可在哪里使用、准确率如何及该数字的来源、训练方式,以及部署后是否继续学习。

通用助手

日常写作、推理和对话,保留在我自己的机器上。

  • Gemma 4 26B A4B

    Google DeepMind · 25.2B total, 3.8B active

    最适合 把发票、表单和合同中的字段提取为结构化数据

    一款快速的全能模型,能读取文本和图像,并严格遵守输出格式。其 25.2B 参数中,每个词只调用 3.8B,所以在普通工作站硬件上约一秒就能给出答案。

    准确率

    提取测试,24 张发票和表单
    120 / 120 个字段我们的运行结果
    LiveCodeBench v6,30 题子集
    18 / 30我们的运行结果
    LiveCodeBench v6
    77.1%Hugging Face 模型卡

    我的 LiveCodeBench 结果是 30 题子集,使用我自己的 token 上限。模型卡上的数字用的是完整数据集和厂商的设置,所以两者不能直接比较。

    训练方式 按发布版本使用部署后的学习 间接改进

    特点、商业用途、训练与学习

    主要特点

    • 混合专家:25.2B 参数中,每个词激活 3.8B
    • 除文本外还能读取图像
    • 可开关的推理模式
    • Apache 2.0 许可证,因此可完全在本地部署环境中运行

    企业可在哪里使用

    • 把发票、表单和合同中的字段提取为结构化数据。在我的 24 份文档测试中,它每个字段都答对了,每份文档的中位耗时为 0.89 秒,是我运行的模型中最快的。
    • 分层 AI 配置中的第一线分诊,较难的案例上交处理。它是我模型阶梯的第一级,因为它速度快,并通过了我的两项编程检查。
    • 数据必须留在公司内部的大批量分类和摘要。它在本地运行,速度大约为每秒 87 至 115 个 token,没有按 token 计费的云端账单。

    训练方式

    Google DeepMind 把它做成混合专家模型:许多小的专家模块,每个词只用其中几个。我运行的是按这种压缩方式训练的 4 位版本,没有对它做微调。

    部署后的学习

    不会。权重一经发布就不再改变。

  • Qwen3.8-27B

    Alibaba Qwen(由 ISTA-DASLab 压缩的版本) · 27B dense

    最适合 答案必须每次都正确的数据提取

    一个强大的通用推理和编程模型,我运行的是压缩到 12 GB 以下的版本。在我试过的全部四个版本中,它在我的提取测试里都拿了满分。

    准确率

    提取测试,24 份发票和表单(全部四个版本)
    120 / 120 个字段我们的运行结果
    LiveCodeBench v6,30 题子集(最小版本)
    17 / 30我们的运行结果
    使用草稿模型的解码速度,简单编程任务
    每秒 38.9 个 token我们的运行结果
    LiveCodeBench v6
    90.3Hugging Face 模型卡

    我的编程结果是 30 题子集,使用的是我自己的 token 上限。模型卡的分数用的是完整题集,因此两者不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 稠密 27B 模型,采用 Apache 2.0 许可证
    • 压缩到每个权重 3.5 位,但压缩模型卡报告在三项基准测试上没有分数损失
    • 可选的草稿模型,可加快解码
    • 四个版本在相同的测试上直接比较

    企业可在哪里使用

    • 答案必须每次都正确的数据提取。在我的标准答案集上,每个版本都答对了全部 120 个字段,每份文档耗时 11 至 18 秒。
    • 在单台工作站上对内部长文档做推理。压缩版本在 12 GB 以内保持了稠密 27B 的质量。
    • 测试模型在失去准确率之前最多能压缩到什么程度。同一模型的四个版本让团队可以在自己的任务上看到每一步的代价。

    训练方式

    Alibaba 把它训练成稠密模型,每个词都由全部 27B 参数处理。较小的版本是 ISTA-DASLab 随后压缩的,不是我。我并排运行了四个已发布的版本并做了比较。

  • Muse-Glimmer 30B

    Meta · 29.6B dense

    最适合 需要留在公司内网的更难推理和多步骤规划

    一款稠密推理模型,能读取文本和图像,并针对智能体工作做了调优。它给出了我本地模型中最好的编程得分,但速度慢,因为每个参数对每个词都要参与计算。

    准确率

    LiveCodeBench v6,30 题子集
    22 / 30我们的运行结果
    提取测试,24 张发票和表单
    120 / 120 个字段我们的运行结果
    SWE-Bench Verified
    76.0Hugging Face 模型卡

    我的编程结果来自 30 题子集。模型卡上的分数来自不同的测试,因此不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 内置视觉编码器的 29.6B 稠密模型
    • 从 Meta 的一个更大模型蒸馏而来
    • 我运行过的所有本地模型中最好的 LiveCodeBench 子集得分
    • 每秒约 27 至 29 个 token

    企业可在哪里使用

    • 需要留在公司内网的更难推理和多步骤规划。在我运行的所有本地模型中,它通过的编程题数量最多,30 题中通过 22 题。
    • 需要同时阅读图像和文字的文档或截图审阅。内置图像输入。
    • 质量比速度更重要的夜间或批量分析。它的每个提取字段都答对了,每份文档耗时中位数为 32.31 秒。

    训练方式

    Meta 从自家的更大模型 Muse Spark 蒸馏出了它,所以 30B 的模型才能取得通常只有更大模型才有的分数。我按发布的原样运行,没有训练过它。

  • Gemma 4 E2B

    Google DeepMind · 2.3B effective

    最适合 在笔记本电脑或边缘设备上,对短消息做常开的分类或路由

    最小的 Gemma 4 模型,为笔记本电脑和手机而做。它速度快、成本低,在较难的编程和推理上明显弱于更大的同系列模型。

    准确率

    LiveCodeBench v6,30 题子集
    11 / 30我们的运行结果
    高难度编程题,8 个隐藏测试
    8 / 8我们的运行结果
    解码速度,高难度编程题
    每秒 75.75 个 token我们的运行结果

    在简单编程题上,最近一次运行没有返回代码块。我的编程结果是 30 题子集,所以不能与模型卡直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 2.3B 有效参数,因此只占用几 GB 内存
    • 额外的逐层嵌入,让很少的参数发挥更大作用
    • Apache 2.0 许可证
    • 在我的测试中仅支持文本

    企业可在哪里使用

    • 在笔记本电脑或边缘设备上,对短消息做常开的分类或路由。它小而快,不需要网络。
    • 一个低成本的预筛查,判断请求是否需要更大的模型。它足够快,可以对每个请求运行,成本几乎为零。
    • 为没有网络连接的现场人员提供离线帮助。它小到可以在标准办公笔记本电脑上运行。

    训练方式

    Google DeepMind 把它做成面向设备的小型稠密模型。我按发布的原样运行,没有训练它。与 26B 的同系列模型相比,在我的运行中它在 30 个编程任务中少完成了 7 个。

  • Qwen3.8-Flash-Next

    Alibaba Qwen(Coder 版本,由 ISTA-DASLab 压缩) · 125B total, 6B active

    测试后弃用 它在我的编程测试中的得分低于我保留的模型,并且每次回答之前都要思考很长时间。

    一个非常大的稀疏模型,被压缩进工作站大小的文件。Coder 版本裁剪掉一半专家,并对其余部分进行高强度压缩。我在十月的清理中将它弃用。

    准确率

    LiveCodeBench v6,30 题子集(Coder 版本)
    18 / 30我们的运行结果
    LiveCodeBench v6,30 题子集(普通版本)
    16 / 30我们的运行结果
    提取测试,24 张发票和表单
    120 / 120 个字段我们的运行结果
    SWE-bench Verified,Coder 版本,超高推理强度(全精度参考值 82.80)
    79.20Hugging Face 模型卡

    我的编程结果是 30 题子集。模型卡上的 SWE-bench 数字是另一项测试,因此两者不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 稀疏混合专家:125B 中激活 6B
    • Coder 版本裁剪掉一半专家,每个原始参数使用 1.89 位
    • 两个版本在我的提取测试中都拿了满分
    • 在清理时从我的部署模型集中移除

    企业可在哪里使用

    • 在单台工作站上获得大模型级别的编程质量。压缩后的 Coder 版本通过了我 30 道编程题中的 18 道。
    • 在购买更大的硬件之前测试极端压缩。它能显示前沿规模的模型在你自己的任务上能否经受住大幅裁剪。
    • 需要快速出结果的文档提取。它答对了全部 120 个字段,每份文档耗时约 8 至 10 秒。

    训练方式

    稀疏模型由 Alibaba 训练。Coder 版本由 ISTA-DASLab 通过裁剪一半专家并量化其余部分制成。我运行的是已发布的版本,没有改动权重。

  • DeepSeek-V4-Flash

    DeepSeek · About 304B total

    测试后弃用 它运行缓慢,在我的编程测试中得分低于做同样工作的 Muse-Glimmer 30B 和 Qwen3-Coder-Next。

    一款非常大的开源推理与智能体模型,我把它压缩后装进本地硬件。它通过了我的高难度编程题,但运行缓慢,我在十月的清理中把它弃用了。

    准确率

    LiveCodeBench v6,30 题子集
    16 / 30我们的运行结果
    高难度编程题,8 个隐藏测试
    8 / 8我们的运行结果
    Terminal Bench 2.1
    82.7Hugging Face 模型卡

    模型卡对应的是厂商之后的 0731 版本,不是我运行的那个文件,而且我的编程结果是 30 题子集。两者不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 约 304B 参数,MIT 许可证
    • 模型卡上的智能体和终端成绩很强
    • 在本地硬件上约每秒 27 个 token
    • 已从我的服务组合中弃用

    企业可在哪里使用

    • 判断前沿规模的开放权重能否私有运行。它展示了这种规模的模型在一台高内存工作站上、在高度压缩下的表现。
    • 智能体式终端和自动化任务。厂商报告其 Terminal Bench 2.1 得分为 82.7。
    • 需要长推理链的政策或合同分析。大模型、长上下文,以及 MIT 许可证。

    训练方式

    DeepSeek 将它作为非常大的混合专家模型发布。我按发布的原样运行了压缩版本。限制是速度和内存,而不是质量。

  • NVIDIA Nemotron 3.5 Lightning 30B-A3B

    NVIDIA · 30B total, 3B active

    测试后弃用 它很快,但在我的提取测试中,24 份文档里只有 3 份返回了可用的数据。Gemma 4 26B 更快,而且遵守格式。

    一个速度很快的混合专家模型。它每秒约 92 个 token,速度很快,但没有通过我的提取测试,所以我将它弃用了。

    准确率

    提取测试,24 张发票和表单
    24 份文档中 3 份可用我们的运行结果
    LiveCodeBench v6,30 题子集
    15 / 30我们的运行结果
    解码速度,高难度编程题
    每秒 92.56 个 token我们的运行结果

    我的编程结果是 30 题子集,因此不能与模型卡直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 总参数 30B,激活参数 3B
    • 在高难度编程题上每秒 92.56 个 token
    • 24 份提取文档中只有 3 份返回了可用的数据
    • 在我十月的清理中弃用

    企业可在哪里使用

    • 不要求严格输出格式的快速聊天式助手。速度是它的长处。
    • 说明为什么部署前必须测试格式可靠性。它在编程上表现不错,却仍未通过结构化提取,所以只看一项基准测试永远不够。
    • 科学和知识问答。厂商报告其 MMLU Pro 为 81.94。

    训练方式

    NVIDIA 为吞吐量而设计它。我按发布的原样运行了 4 位版本。在我的测试中,速度是以牺牲结构化输出的可靠性为代价换来的。

  • GLM-5.3-Flash

    Z.ai · 320B total, 18B active

    最适合 容量规划:前沿规模的开放权重能否装进工作站硬件

    一个非常大的开源模型,被压缩到每个权重约 1 位,以检验它能否在本地硬件上装得下并运行。它运行起来了,并通过了简单编程题,但我没有继续深入。

    准确率

    简单编程题,7 个隐藏测试
    7 / 7我们的运行结果
    高难度编程题,8 个隐藏测试
    未返回代码块我们的运行结果
    解码速度,简单编程题
    每秒 25.96 个 token我们的运行结果

    我只运行了两道编程题。没有 LiveCodeBench 或提取任务的运行,而且厂商的模型卡只用图片展示结果,所以没有模型卡数字。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 总计 320B,激活 18B
    • 极端的 1 位级压缩
    • 约每秒 26 个 token
    • 高难度编程题没有返回代码块

    企业可在哪里使用

    • 容量规划:前沿规模的开放权重能否装进工作站硬件。一次实验显示了内存和速度的实际下限。
    • 本地部署大模型的可行性研究。它表明 320B 模型可以在本地加载,但要在质量上有所取舍。
    • 压缩研究。它是量化能走多远的最坏情况数据点。

    训练方式

    Z.ai 将它做成非常大的稀疏模型。我运行的是社区发布的、压缩到每个权重约 1 位的版本,按发布的原样使用,以找出极限。

  • Qwen2.5-0.5B-Instruct

    Alibaba Qwen · 0.5B

    最适合 投入 GPU 时间之前的基础设施冒烟测试

    一个很小的聊天模型,我用它做冒烟测试。它证明了推理引擎能在消费级显卡上运行,并且服务器会返回 token 概率。

    准确率

    解码速度,8 位版本,95 个 token
    每秒 231.27 个 token我们的运行结果

    我从未测量过它的准确率,因为它只用于测试。厂商的模型卡没有基准测试表。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 0.5B 参数,8 位版本
    • 全部 25 层都在显卡上
    • 用于在较大的任务之前确认概率输出

    企业可在哪里使用

    • 投入 GPU 时间之前的基础设施冒烟测试。它几秒钟就能加载完,并且能把整套系统都跑一遍。
    • 在通用 GPU 上做成本极低的文本分类或格式化。它又小又快。
    • 低风险任务的本地部署助手原型。它能在消费级显卡上运行。

    训练方式

    Alibaba 把它作为小型指令微调模型发布。我只把它用于测试,选它看重的是体积而不是质量,也没有训练过它。

编码

编写和修复代码的模型,由实际运行的测试来评判。

  • Qwen3-Coder-Next

    Alibaba Qwen · 80B total, 3B active

    最适合 在内部代码库中完成初稿级别的缺陷修复和小功能,由工程师审阅

    一个编程专家模型,可以编辑真实的代码仓库、调用工具并完成多步骤任务。它 80B 参数中每个词只激活 3B,所以就其能力而言速度很快。

    准确率

    SWE-bench Verified,sympy 子集,63 道任务
    24 / 63我们的运行结果
    LiveCodeBench v6,30 题子集
    20 / 30我们的运行结果
    SWE-bench Verified,150 道任务,升级之前已解决,在 Modal 上评分
    16 / 150我们的运行结果
    解码速度,高难度编程题
    每秒 93.8 个 token我们的运行结果

    厂商的模型卡只以图片形式给出结果,所以没有可引用的模型卡数字。

    训练方式 按发布版本使用部署后的学习 间接改进

    特点、商业用途、训练与学习

    主要特点

    • 专注编程的混合专家模型:总参数 80B,激活 3B
    • 在本地硬件上每秒约 86 至 94 个 token
    • 我默认的本地编程模型
    • 完整通过了我的两道编程题

    企业可在哪里使用

    • 在内部代码库中完成初稿级别的缺陷修复和小功能,由工程师审阅。这是我在代码仓库缺陷修复上最好的本地成绩,63 道 SWE-bench 任务中完成 24 道,速度适合交互式工作。
    • 对不能离开公司的代码做代码审查和单元测试生成。它在本地部署环境中运行,并通过了我两道编程题的全部 15 个隐藏测试。
    • 迁移和重构类杂务,例如 API 升级和重命名。就其体量而言,它处理工具调用和长文件的表现很好。

    训练方式

    Alibaba 把它做成专门针对编程和工具调用的混合专家模型。我按发布的原样运行。

    部署后的学习

    不会。模型本身不会学习。

  • Devstral Small 2 (24B)

    Mistral AI · 24B dense

    最适合 在大型代码仓库中进行智能体式的代码探索

    Mistral 推出的编程智能体模型,用于探索和编辑代码库。在我早期的一次角色测试中,它是唯一拒绝接受错误前提的模型,但在我的普通编程检查中得分低于其他模型。

    准确率

    LiveCodeBench v6,30 题子集
    12 / 30我们的运行结果
    简单编程题,7 个隐藏测试
    3 / 7我们的运行结果
    高难度编程题,8 个隐藏测试
    8 / 8我们的运行结果
    SWE Bench Verified
    68.0%Hugging Face 模型卡

    我的编程结果是 30 题子集,而模型卡上的 SWE-bench 得分来自另一种测试,所以两者不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 面向软件工程智能体的 24B 稠密模型
    • Apache 2.0 许可证
    • 高难度编程题 8 题全部通过,但简单题只通过 7 题中的 3 题
    • 在本地硬件上约每秒 32 至 35 个 token

    企业可在哪里使用

    • 在大型代码仓库中进行智能体式的代码探索。Mistral 为工具驱动的代码导航而构建它,所以可作为更强编程模型之外的第二意见。
    • 一台工作站上的内部编程助手后端。24B 稠密模型可装进单台高内存工作站或大显存 GPU。
    • 事实核查类任务,模型必须对错误前提提出反驳。在一次早期的角色测试中,它是唯一拒绝接受错误前提的模型。那只是一次测试,不是基准测试。

    训练方式

    Mistral 将它训练为面向智能体编程的稠密模型,而不是通用聊天模型。我按发布的原样运行它。

文档与视觉

阅读扫描件、表单、截图和图像。

  • PaddleOCR-VL 1.6

    Baidu PaddlePaddle · 0.96B

    最适合 将扫描的发票、表单和档案数字化

    一个小型视觉语言模型,可以读取扫描页面、表格和公式并返回文本。参数不到 10 亿,速度足以在每一页上运行。

    准确率

    OCR 文本与参考文本的相似度,36 页
    相似度 0.9161我们的运行结果
    每页耗时中位数
    1.5 秒我们的运行结果
    OmniDocBench v1.6,总分
    96.33%Hugging Face 模型卡

    我的 36 页和模型卡上的基准测试是不同的测试集,因此不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 约 0.96B 参数
    • 从页面图像中读取文本、表格、公式和图表
    • 在本地硬件上每页耗时中位数为 1.5 秒
    • 完全在本地部署环境中运行

    企业可在哪里使用

    • 将扫描的发票、表单和档案数字化。它足够小,可以在每一页上运行,无需支付云端 OCR 费用。
    • 提取模型之前的预处理步骤。它把页面图像转成文本,语言模型就能从中提取字段。
    • 页面不能离开内网的受监管文档处理。所有推理都在本地进行。

    训练方式

    Baidu 把它做成专用的文档阅读器,而不是通用聊天模型,所以它比其他模型小得多。我按发布的原样使用。

  • Qwen3-VL 30B-A3B and 4B

    Alibaba Qwen · 30B total, 3B active; 4B dense

    最适合 为流程自动化智能体读取截图和屏幕状态

    一个视觉语言模型,可以读取截图和图像并回答相关问题。我把它当作浏览器和屏幕任务的“眼睛”。4B 版本可在配置一般的硬件上快速读图。

    准确率

    在我目前的环境中尚未做基准测试。我手头唯一的数字来自我不再使用的引擎,所以不引用。厂商的模型卡只以图片形式给出结果。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 同时接收图像和文本
    • 两种规格:30B(激活 3B)和 4B 稠密
    • 在本地部署,不调用云端
    • Apache 2.0 许可证

    企业可在哪里使用

    • 为流程自动化智能体读取截图和屏幕状态。图像输入让智能体能看到屏幕。
    • 描述产品或文档图像并打标签。它在本地运行,所以图像不会离开内网。
    • 回答关于图表和示意图的问题。它为视觉语言任务而设计。

    训练方式

    Alibaba 在 Qwen3 语言模型上加入了视觉编码器。我按发布的原样使用,没有训练过它。

路由与决策

决定工作交给谁、或者某个答案是否站得住的小型模型。

  • JEV-27B-VL (Q8_0 GGUF)

    autotrust(模型),Atlas3D(GGUF 版本) · 27B

    最适合 对大型图像或文档集合进行分类和打标签

    一个大型视觉语言决策模型。给定一张图像和一个带固定选项的问题,它选出一个选项并给出校准后的概率。我用它在一个批次中把大量图像分成 13 个类别。

    准确率

    图像批次,13 个类别
    11,688 张图片中 0 个错误我们的运行结果
    批处理吞吐量
    每秒 1.30 张图片我们的运行结果
    与全精度的一致性,8 位版本(309 个决策)
    99.0% (306/309)Hugging Face 模型卡
    ERQA,思考设为中等
    61.5%Hugging Face 模型卡

    我的图像批次是吞吐量测试,不是带标注的准确率测试,所以两组数字衡量的是不同的东西。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 读取图像,并带概率地从固定选项中选择
    • 8 位版本与全精度给出相同答案的比例是 100 次中 99 次
    • 批量运行 11,688 张图像,没有出错
    • Apache 2.0 许可证

    企业可在哪里使用

    • 对大型图像或文档集合进行分类和打标签。我的批次把 11,688 张图像分入 13 个类别,没有出错,速度为每秒 1.30 张图像。
    • 视觉质量控制与检验分诊。带概率的选项适合设定通过、不通过和复核的阈值。
    • 对用户上传图像的审核。校准后的概率让团队可以自行设定复核阈值。

    训练方式

    它是 Qwen3.8-27B 上的 LoRA 适配器,在蒸馏出的决策数据集上训练,并由 Atlas3D 合并进 GGUF 版本。我使用的是 8 位版本,它与全精度一致的比例是 100 次中 99 次。4 位版本在 100 次中只有约 93 次一致,所以我避开了它。我需要使用 llama.cpp 中打过补丁的读出功能,没有做任何训练。

  • Winnow-12B

    EldanRing · 12B

    最适合 文本和图像都重要的决策打分

    一个基于 Gemma 构建的决策模型。给定一个状态和带固定选项的类型化问题,它不写文本,直接返回校准后的概率。它也接受图像。

    准确率

    YouTube 早期信号测试,300 个留出视频
    0.9501 AUC我们的运行结果
    Hacker News 结果测试,300 个留出帖子
    0.5532 AUC我们的运行结果
    JevBench 公开子集,231 题,全精度
    85.28%Hugging Face 模型卡
    我的干净 v9 测试集,1,046 题,全精度
    81.45%Hugging Face 模型卡

    这两项网络预测测试是我自己的。模型卡上的测试不同,因此数字不能直接比较。它在 Hacker News 结果上的得分接近随机水平。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • Gemma 4 12B 基础模型加合并的微调,Apache 2.0
    • 也能处理普通聊天和图像输入
    • 在我的 YouTube 早期信号测试中表现出色
    • 每个答案耗时中位数 247 毫秒

    企业可在哪里使用

    • 文本和图像都重要的决策打分。它接受图像输入,而大多数小型决策模型不接受。
    • 带明确置信度的校准分诊。它为每个选项返回一个概率。
    • 选择决策模型时的对比基线。公开的 JevBench 数字让团队可以用自己的数据来核对它。

    训练方式

    EldanRing 对 Gemma 4 12B 做了微调,用于类型化决策、聊天和图像输入,GGUF 文件保存的是合并后的结果。我只评测了 8 位版本,没有训练它。

  • Quyet 1.0 (Large and Medium)

    独立发布(Hugging Face:chinhnc) · 31.3B Large, 4.66B Medium

    最适合 多语言意图和工单分诊

    一个决策模型系列,针对每个问题选出一个选项并返回校准后的概率。我测试了 Large 和 Medium 两种规格。

    准确率

    YouTube 早期信号测试,Large
    0.9575 AUC我们的运行结果
    YouTube 早期信号测试,Medium
    0.9191 AUC我们的运行结果
    Hacker News 结果测试,Large
    0.5885 AUC我们的运行结果
    Hacker News 结果测试,Medium
    0.5406 AUC我们的运行结果

    厂商的模型卡没有基准测试数字。YouTube 和 Hacker News 的测试是我自己做的。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 类型化问题:选择、打分和判断对错
    • Large 规格是 Gemma 4 31B 上合并的 LoRA,Apache 2.0
    • 还针对越南语做了调优
    • Large 和 Medium 在相同的测试上测量

    企业可在哪里使用

    • 多语言意图和工单分诊。模型卡称针对英语和越南语调优,其他语言的准确率较低。
    • 为审核队列对文本做校准打分。它为每个选项返回一个概率。
    • 按准确率和延迟选择模型规格。我在相同的测试上测得 Large 为 270 ms,Medium 为 287 ms。

    训练方式

    它是 Gemma 4 31B,合并了 LoRA 微调,并采用字母读出式的决策提示词,为校准而设计。两种规格我都评测了,都没有训练过。

  • Decider (2B and 4B v2.1)

    Mapika (Hugging Face) · 2B and 4B

    最适合 业务软件内部的路由和分类

    小型决策模型:读取一个状态和若干类型化问题,一次前向计算就返回各选项的概率。它们由软件调用,而不是用来聊天。

    准确率

    YouTube 早期信号测试,4B v2.1
    0.9624 AUC我们的运行结果
    Hacker News 结果测试,4B v2.1
    0.5065 AUC我们的运行结果
    Hacker News 结果测试,2B
    0.4698 AUC我们的运行结果
    决策指数 0.3,4,500 条请求样本(v3 模型卡上的 v2.1 一行)
    41.55Hugging Face 模型卡

    Hacker News 和 YouTube 测试是我自己做的。模型卡上的指数是另一种测试,所以数字不能直接比较。2B 的结果低于随机水平。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 不生成文本
    • 多任务:分类、路由和打分
    • 较新的 v3 增加了图像输入;我测试的是 v2.1
    • Apache 2.0 许可证

    企业可在哪里使用

    • 业务软件内部的路由和分类。它像函数一样被调用,并返回一个概率。
    • 基于早期信号的内容打分。4B v2.1 模型在我的 YouTube 早期信号测试中达到 0.9624 AUC。
    • 对大批量文本做低延迟筛查。我测得 2B 的中位数为 43.2 ms,4B 为 86.4 ms。

    训练方式

    两个模型都是小型 Qwen3.5 基础模型,针对类型化的一次前向计算决策训练。它们是通才,未能迁移到我的 Hacker News 测试上。我评测了它们,没有训练它们。

  • Plumb-4B

    crh225 (Hugging Face) · 4B

    最适合 带证据的选择题决策,例如案件审查和政策查询

    一个 4B 的决策模型,一次前向计算就能给每个选项返回概率。它用较大模型编写并复核过的高难度决策题训练而成。

    准确率

    Hacker News 结果测试,300 个留出帖子
    0.5485 AUC我们的运行结果
    JevBench 简单,48 题
    1.000Hugging Face 模型卡
    JevBench 标准,72 题
    0.972Hugging Face 模型卡
    JevBench 困难,111 题
    0.802 (89/111)Hugging Face 模型卡

    我的 Hacker News 测试和模型卡上的 JevBench 是不同的测试,因此不能直接比较。它在我的测试中的得分接近随机水平。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 每个问题 2 至 16 个选项
    • 一次前向计算,不生成 token
    • 用单个拟合的温度参数做校准
    • Apache 2.0 许可证

    企业可在哪里使用

    • 带证据的选择题决策,例如案件审查和政策查询。它为证据加选项的场景而设计。
    • 在通用 GPU 上快速完成经过校准的分诊。模型卡报告在消费级显卡上中位数约为 28 ms。
    • 基础决策模型把握不大的高难度案例。训练时加大了困难题和不确定题的权重。

    训练方式

    它是在一个基础决策模型上,用 Qwen3.8-27B 编写并复核的困难案例微调而成,错误或不确定的问题被加大了权重。训练集来自较弱模型答错的案例。我评测了它,没有训练它。

  • Strands Decider 2B (hobson v21)

    StrandsAgents · 2B

    最适合 对客户消息做意图、情感和主题分类

    一个 2B 的决策适配器,在大量公开分类数据集上训练,例如情感、意图、垃圾信息、主题和有害内容,用来返回带概率的类型化决策。

    准确率

    Hacker News 结果测试,300 个留出帖子
    0.484 AUC我们的运行结果
    JevBench 公开集,231 题
    0.7619 (176/231)Hugging Face 模型卡

    我的 Hacker News 结果 0.484 低于随机水平,所以它不适合那项任务。模型卡上的 JevBench 是另一项测试,因此数字不能直接比较。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • Qwen3.5-2B-Base 上的 LoRA 适配器
    • 在约 30 个公开分类数据集上训练
    • Apache 2.0 许可证
    • 在我的测试中中位数为 42.3 ms

    企业可在哪里使用

    • 对客户消息做意图、情感和主题分类。它的训练数据涵盖这些任务。
    • 垃圾信息和滥用内容筛查。模型卡列出训练中包含垃圾信息和仇恨言论数据集。
    • 低成本的文本标注初筛。它在我的测试中速度很快,中位数为 42.3 ms。

    训练方式

    它是 Qwen3.5 2B 基础模型上的 LoRA 适配器,覆盖许多小型公开任务:重广度而非深度。我评测了它,没有训练它。

  • Laya

    convaiinnovations(Hugging Face)

    最适合 多语言的工单和邮件路由

    一款支持 100 多种语言的多语言决策模型。它通过一次前向计算,用校准后的概率回答类型化问题。

    准确率

    Hacker News 结果测试,300 个留出帖子
    0.4786 AUC我们的运行结果
    每个决策的中位耗时
    16.1 ms我们的运行结果

    我的结果 0.4786 低于随机水平,所以它不适合那项任务。模型卡上的基准测试只有图表图片,所以没有模型卡数字。

    训练方式 按发布版本使用部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 从不生成文本,因此无需解析
    • 最多读取 8,192 个 token
    • 100 多种语言
    • 我比较过的模型中最快:中位数 16.1 ms

    企业可在哪里使用

    • 多语言的工单和邮件路由。模型卡称它覆盖 100 多种语言。
    • 审核与护栏检查。一次前向计算,没有需要解析的文本,延迟很低。
    • 超大批量的打分和分类。在我的测试中,它的中位数为 16.1 ms。

    训练方式

    它通过针对恰当评分规则的强化学习进行训练,因此得到奖励的是校准良好,而不只是与标签一致。我评测了它,没有训练它。

视频

理解视频中发生的事。

  • VideoJev-4B

    Nanjing University MCG · 4B

    最适合 在培训、会议或通话档案中搜索某个话题出现的时刻

    一个视频模型,可以找到视频中与某个问题相符的时刻,这称为时间定位。它还能回答关于视频的选择题,方法是一次前向计算给候选项打分,而不是写出文本。

    准确率

    在一段 43.7 秒视频上的时刻查找,12 个查询(平均重叠度)
    68.8 mIoU我们的运行结果
    在同一视频上定位的时刻(中点命中)
    11 / 12我们的运行结果
    同一视频上的选择题
    4 / 4我们的运行结果
    在一段 19.4 分钟屏幕录像上定位的时刻
    6 / 11我们的运行结果

    厂商的模型卡只以图片形式给出结果,所以没有模型卡数字。两段视频都是我自己选的测试。

    训练方式 由我移植部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 找出所描述时刻的开始和结束时间
    • 回答关于视频的选择题
    • 我的 llama.cpp 移植版在题目上与 PyTorch 原版的一致度为 0.99991
    • 擅长视觉事件,不擅长读取屏幕上的小字

    企业可在哪里使用

    • 在培训、会议或通话档案中搜索某个话题出现的时刻。它针对一个普通英语查询返回时间范围。
    • 对已制作视频做质量检查:剪辑是否呈现了脚本所写的内容。在一段 43.7 秒的测试视频上,它定位了 12 个时刻中的 11 个,并答对了 4 道题中的 4 道。
    • 为长屏幕录像自动划分章节。它能很好地找到视觉事件,但会漏掉只以文字形式存在的线索。

    训练方式

    Nanjing University 对 Qwen3.5-4B 做了微调,使它直接给时间范围和答案打分,而不是描述视频。我把它转换成 GGUF,编写了自己的 llama.cpp 打分驱动程序,并对照 PyTorch 原版做了检查。我没有训练它。

云端模型

在本地模型尚不够好的地方使用的托管模型。

  • Claude

    Anthropic

    最适合 对代码、政策或文档做最后阶段的审查和决策支持

    一款托管的前沿模型,我把它用于工作中最难的步骤:编写和审查代码、规划以及最终决策。它是我本地优先阶梯的最高一级。

    准确率

    尚未做基准测试。我为这一层级做的分级标注测试存在答案提取错误,所以不引用其数字。

    训练方式 由开发方托管部署后的学习 间接改进

    特点、商业用途、训练与学习

    主要特点

    • 托管服务,没有本地权重
    • 我的级联中的最高层:先本地,再 Codex,最后 Claude
    • 较便宜的层级用于子智能体;最强的只用于最终审查
    • 推理、编程和长上下文工作

    企业可在哪里使用

    • 对代码、政策或文档做最后阶段的审查和决策支持。它能力最强,放在较便宜流程的末端。
    • 复杂的多步骤工程与分析。我在测试中把它用于最难的任务。
    • 编排较便宜的本地模型。它充当控制者和检查者。本地模型可以判定工作不合格,但绝不能批准工作。

    训练方式

    Anthropic 将它作为封闭的托管服务来训练和运行,没有发布模型卡。我通过订阅使用它,不做任何改动。

    部署后的学习

    该模型不会从我的数据中学习。

  • Codex

    OpenAI

    最适合 超出本地模型能力的代码修改和审查

    一款托管的编程智能体,我把它用作阶梯的中间一级,位于本地模型和最高层之间,也用作对本地工作成果的独立审查者。

    准确率

    SWE-bench Verified,本地模型失败的任务
    58 / 150我们的运行结果

    只统计本地模型先失败的任务,由官方 SWE-bench 测试框架评分。这不是 150 个任务的整体通过率,也没有模型卡上的基准测试。

    训练方式 由开发方托管部署后的学习 间接改进

    特点、商业用途、训练与学习

    主要特点

    • 托管的编程智能体
    • 我的级联中的第二级,在本地模型之后
    • 用作独立审查者
    • 在本地模型失败之后,解决了 150 个 SWE-bench Verified 任务中的 58 个

    企业可在哪里使用

    • 超出本地模型能力的代码修改和审查。它位于免费的本地推理和最昂贵的层级之间。
    • 对模型所写代码的独立第二意见。不同的厂商会发现不同的错误。
    • 自动化代码仓库维护。它是一个带工具的智能体。

    训练方式

    OpenAI 将它作为封闭的托管服务来训练和运行。我把它当作服务使用,不做任何改动。

    部署后的学习

    该模型不会从我的数据中学习。

我关注的研究

在可以运行之前我就在跟踪的新方法。

  • TRM (Tiny Recursion Model)

    Samsung SAIL Montreal · 7M

    最适合 极小设备上的嵌入式推理

    一个 700 万参数的网络,通过循环地改进自己的答案来解谜,而不是写出一长串思维链。我把它作为研究来关注,没有运行过。

    准确率

    ARC-AGI-1,测试准确率
    45%论文
    ARC-AGI-2,测试准确率
    8%论文

    这些是论文自己的数字。我没有复现过。

    训练方式 未运行部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 700 万参数,单个 2 层网络
    • 在重复循环中改进隐藏的答案
    • 就其体量而言,报告的解谜分数很高(见准确率)
    • 它是解谜器,不是语言模型

    企业可在哪里使用

    • 极小设备上的嵌入式推理。700 万参数几乎可以放进任何地方。
    • 谜题和约束求解研究,例如排程和类数独逻辑。论文的结果来自数独、迷宫和 ARC 谜题。
    • 理解推理的成本下限。它与规模优先的策略形成对照。

    训练方式

    作者用小型谜题集从头训练它,采用递归推理,并在每次循环中施加监督。这与大型语言模型很不相同,后者从海量文本中学习,并把推理过程写出来。我只读过论文,没有运行过。

  • NanoJev

    C-Tianyu (Hugging Face) · 0.6B

    最适合 微型硬件上的实时控制决策

    一个 0.6B 的决策模型,用于游戏和导航,例如 Maze、Snake 和 ViZDoom。我把它作为研究来关注,没有运行过。

    准确率

    对照测试:Maze
    4/10Hugging Face 模型卡
    对照测试:Snake
    8/8Hugging Face 模型卡
    对照测试:Basic
    128/128Hugging Face 模型卡
    对照测试:Predict Position
    27/128Hugging Face 模型卡

    这些是模型卡上厂商给出的数字,我没有复现过。

    训练方式 未运行部署后的学习 发布后固定不变

    特点、商业用途、训练与学习

    主要特点

    • 0.6B 参数,基于 Qwen3-0.6B
    • 通过给各选项打分来决定游戏走法
    • 在它自己的测试游戏中结果参差不齐
    • 我所知道的最小的 Jev 式模型

    企业可在哪里使用

    • 微型硬件上的实时控制决策。它体积很小,速度很快。
    • 仿真和训练环境。它为类似游戏的状态而设计。
    • 研究决策模型最小可以做到多小。参差不齐的结果显示了极限在哪里。

    训练方式

    它是 Qwen3-0.6B 针对游戏决策的微调版本。我只读过模型卡,没有运行过。

训练运行

训练与微调

我也微调自己的 Kev 检查点,采用 Jared Palmer 的开源方案,基于一个开源基础模型。

值得关注

我关注 NanoJev 和 Tiny Recursion Model 的研究。 在选择测试对象时值得关注的小型模型和开放训练流程。

NanoJev

Jev 的迷你复刻版:并行决策、动态候选项,以及端到端训练流水线。MIT 许可证。

其开放的流程使从训练到运行小型模型的整条路径可以检查。

查看代码

Tiny Recursion Model (TRM)

Tiny Recursion Model(TRM)是一个 7M 参数的模型,见 Alexia Jolicoeur-Martineau 的论文“Less is More: Recursive Reasoning with Tiny Networks”(arXiv 2510.04871)。

其体积小,使论文和代码在权衡一项任务需要多大模型时很有用。

阅读论文查看代码

评测

测试套件

  • 提取标准答案集在 24 份文档、120 个字段上,逐字段的准确率和每份文档的耗时。
  • 留出模型基准测试微调模型在未见过的数据上的区分度(AUC)、校准(Brier 分数)、准确率和延迟。
  • LiveCodeBench v6模型解决 30 道编程题中的多少道,用于比较同一模型的不同量化版本。
  • 服务速度预填充速度和解码速度分别报告,每个数字旁标注 llama.cpp 构建版本、量化方式和硬件。
  • SWE-bench Verified(sympy 子集)模型能否解决真实的软件问题,通过不使用容器的原生测试框架运行。该测试框架本身通过了 67 个标准补丁中的 63 个。
  • 视频质量关卡生成的视频要先通过规则检查和人工判定,才算完成。

测试框架

测试框架是让模型运行任务并检查答案的代码。以下是我用过或研究过的测试框架。

已运行并评分

  • 原生 SWE-bench 重放测试框架通过原生测试框架运行 SWE-bench Verified 的 sympy 子集,该框架验证了 67 个标准补丁中的 63 个。 在 SWE-bench Verified 的 sympy 子集上,Qwen3-Coder-Next Q4_K_M 在本地硬件上通过 llama.cpp 解决了 63 个任务中的 24 个(原生回放测试框架)。
  • 官方 SWE-bench 测试框架,自有硬件官方 SWE-bench 测试框架在我自有硬件上的 Docker 中运行,解决了 5 个仓库中的全部 5 个标准补丁。
  • 官方 SWE-bench 测试框架,Modal 云端在 Modal 云端沙箱中,同一个官方测试框架先解决了 2 个标准补丁中的 2 个,随后解决了 6 个仓库中 10 个补丁中的 10 个,计量算力花费不到 4 美分。
  • 150 项任务的本地与云端对比运行在 Modal 上由官方测试框架评分的 150 个 SWE-bench Verified 任务中,llama.cpp 下的 Qwen3-Coder-Next 解决了 16 个。Codex 解决了 58 个本地模型没有解决的任务。其余 76 个两者都没有解决。
  • 工作室评测测试框架我自己的评测框架有 24 个模块,包括契约、事实依据、来源、合理性和沙箱检查。

已研究,尚未评分

我在自己的工作室里研究过这些智能体测试框架。尚未把它们彼此对照打分。

  • ThinHarness一个只基于模型 SDK、框架代码极少的精简智能体测试框架。代码仓库
  • prime-agentPrime Intellect 推出的自我改进编程智能体,用于长时间运行的自主任务。代码仓库
  • Paperclip一个用于在工作中管理 AI 智能体的开源应用。代码仓库
  • ARC-AGI-3 agents baseline针对 ARC-AGI-3 的、可通用于各类游戏的编程智能体实验。代码仓库
  • Tycho一个基于渲染出的确定性摩尔机构建的 ARC-AGI-3 求解器。代码仓库
  • Retrodict面向 ARC-AGI-3 交互式游戏基准测试的智能体。代码仓库
  • DeepSeek HarnessDeepSeek 的开源智能体测试框架,其中一切都是插件。代码仓库
  • Hermes AgentNous Research 的开源智能体,我已在自己的硬件上部署并运行。代码仓库

基准测试结果

在我的工作室中测得

  • 解码速度(3 个提示词,temperature 0,llama.cpp d454a20,本地工作站)

    26.2 tok/s

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    IQ3_S

    在我的工作室中测得

  • 解码速度(3 个提示词,temperature 0,llama.cpp d454a20,本地工作站)

    38.9 tok/s

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    Q4_K_M + MTP Q4_0 附属文件

    在我的工作室中测得

  • 解码速度(3 个提示词,temperature 0,llama.cpp d454a20,本地工作站)

    25.9 tok/s

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    Q4_K_M(较旧构建)

    在我的工作室中测得

  • LiveCodeBench v6,解决的任务数(30 个任务,llama.cpp,本地工作站)

    17 共 30 个任务

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    IQ3_S

    在我的工作室中测得

  • LiveCodeBench v6,解决的任务数(30 个任务,llama.cpp,本地工作站)

    16 共 30 个任务

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    Q4_K_M + MTP Q4_0 附属文件

    在我的工作室中测得

  • LiveCodeBench v6,解决的任务数(30 个任务,llama.cpp,本地工作站)

    15 共 30 个任务

    模型
    Qwen3.8-27B
    引擎
    llama.cpp
    量化
    Q4_K_M(较旧构建)

    在我的工作室中测得

  • 视频定位,平均 IoU(43.7 秒片段,llama.cpp Metal,本地工作站)

    68.8 mIoU

    模型
    VideoJev-4B
    引擎
    llama.cpp
    量化
    bf16 GGUF + f32 mmproj

    在我的工作室中测得

  • 提取标准答案集,正确字段数(24 份文档,llama.cpp 0.6.0,本地工作站)

    120 共 120 个字段

    模型
    qwen3.8-flash-next-coder
    引擎
    llama.cpp
    量化
    IQ1_M

    在我的工作室中测得

  • 提取标准答案集,每份文档耗时中位数(24 份文档,llama.cpp 0.6.0,本地工作站)

    9.84 s

    模型
    qwen3.8-flash-next-coder
    引擎
    llama.cpp
    量化
    IQ1_M

    在我的工作室中测得

  • 解码速度冒烟测试(95 个 token,llama.cpp b11429,CUDA 12.4,自有硬件)

    231.27 tok/s

    模型
    Qwen2.5-0.5B-Instruct
    引擎
    llama.cpp
    量化
    Q8_0

    在我的工作室中测得

  • SWE-bench Verified,sympy 子集,已解决的任务数(llama.cpp,本地工作站,原生重放测试框架)

    24 共 63 个任务

    模型
    Qwen3-Coder-Next
    引擎
    llama.cpp
    量化
    Q4_K_M

    在我的工作室中测得

代码仓库

我运行、基于其构建或关注的开源项目。每个项目列出:商业场景、重要的特性、我测试了什么,以及测得了什么。

  • 推理引擎

    llama.cpp

    已测试

    用纯 C 和 C++ 在普通硬件上运行大语言模型,从笔记本电脑到服务器均可。模型以单个 GGUF 文件发布,并通过与 OpenAI 兼容的 Web API 提供服务。

    关键特性 一个轻量的引擎,可在 Apple Silicon、NVIDIA 和普通 CPU 上运行压缩模型,不需要 Python 技术栈。

    商业场景

    • 通过在公司网络内部提供模型服务,而不是调用云端 API,把敏感文档留在本地。
    • 降低提取、分类和分流等大批量工作的每 token 成本。
    • 在现有工作站上为每个团队配备私有助手,无需购买 GPU 集群。

    我测试了什么

    我把它作为唯一的本地推理引擎,我运行的每个本地模型都是在它之下运行的 GGUF。我从源码编译了它,并用它对 DeepSeek V4 Flash、搭配草稿模型的 Qwen3.8-27B 以及一项 24 份文档的提取测试做了基准测试。

    DeepSeek V4 Flash 的 解码速度
    每秒 33.49 ± 0.31 个 token
    DeepSeek V4 Flash 的提示词处理速度
    每秒 599.48 个 token
    Qwen3.8-27B 的 解码速度,使用与不使用草稿模型
    38.9 tok/s 对比 21.9 tok/s
    字段提取,Qwen3.8-Flash-Next Coder 版本
    120 / 120 个字段,24 / 24 份文档
  • 基准测试框架

    SWE-bench

    已测试

    一套面向编程智能体的基准测试和官方评分框架。它基于真实的 GitHub 问题构建,在 Docker 中运行。

    关键特性 对智能体的补丁是否真正修复了真实问题,进行官方的、可重复的评分。

    商业场景

    • 在购买席位之前,用真实缺陷比较各编程助手。
    • 判断哪些任务可以交给便宜的模型,哪些需要昂贵的模型。
    • 每次改动后,对内部编程智能体做回归测试。

    我测试了什么

    我用两种方式搭建了官方测试框架:在本地 Docker 中,以及在云端运行器上,并分别用标准补丁验证。然后我用它给一次运行评分:150 个 SWE-bench Verified 任务先交给本地模型,再交给 Codex。这次运行是分层实验,不是排行榜成绩。

    标准补丁检查,本地 Docker 测试框架
    5 / 5 已解决(5 个仓库),实际耗时 379 秒
    标准补丁检查,云端测试框架
    6 个仓库中 10 / 10 已解决(122.47 秒,计量费用 $0.0382)
    本地模型,SWE-bench Verified 子集
    16 / 150
    Codex,本地模型未解决的任务
    58 / 150
  • 决策模型

    winnow-inference

    已测试

    通过 llama.cpp 提供 Winnow-12B 模型服务,用于是非、选择和打分等类型化决策,也支持对话和视觉。

    关键特性 来自本地 12B 模型的、带校准概率的类型化决策输出。

    商业场景

    • 用分数和置信度对支持工单、销售线索或文档进行分流并排序。
    • 按政策筛查内容,只升级不确定的情况。
    • 预测类问题:校准后的概率比文本答案更有用。

    我测试了什么

    我通过 llama.cpp 的服务器以 8 位提供 Winnow-12B,并在五个决策数据集上给它评分。它在短视频数据集上表现强,在社交媒体热度上接近随机水平。

    Winnow 数据集
    准确率 0.9231,AUC 0.9811,每次调用中位数 226.1 ms
    Hacker News 数据集
    准确率 0.5767,AUC 0.5532
    YouTube 文本数据集
    准确率 0.59,AUC 0.7574
    YouTube 早期信号数据集
    准确率 0.5733
  • 编程智能体

    Codex

    已测试

    OpenAI 的终端编程智能体。它读取代码仓库、编辑文件,并根据提示词运行命令。

    关键特性 一个可编写脚本、能融入构建流水线的编程智能体。

    商业场景

    • 把定义清楚的实现任务交给智能体,然后审查其改动差异。
    • 在较便宜的模型之后,把它作为处理难题的升级层级。
    • 获得独立的第二意见代码审查。

    我测试了什么

    我每天用它做实现工作,它是我的 SWE-bench 阶梯中本地模型之后的第二层。

    本地模型失败后得以解决的任务,SWE-bench Verified 子集
    58 / 150
  • 智能体记忆

    claude-mem

    已测试

    记录编程智能体的操作,用小模型进行总结,并把相关的历史记录反馈到之后的会话中。

    关键特性 跨智能体会话的持久、可搜索的记忆。

    商业场景

    • 人员变动时保留工程知识,因为智能体会记住之前的决策。
    • 让智能体回忆之前的工作,缩短熟悉代码库的上手时间。
    • 保留一份可审计的日志,记录 AI 智能体做了什么以及为什么这样做。

    我测试了什么

    我每天都在用它。我把之前基于文件的记忆迁移了进来,运行一个小型 Haiku 模型作为它的观察者,并调整了它注入的上下文。我还为 Hermes 做了一个记忆提供器,通过了写入、搜索和删除的冒烟测试。

    已存储的观察记录(这是使用量,不是性能得分)
    17,981
  • 智能体框架

    Hermes Agent

    已测试

    一个自托管的智能体,能在会话之间保留技能和记忆,并能运行工具、浏览器和子智能体。

    关键特性 一个随时间积累可复用技能和持久记忆的智能体。

    商业场景

    • 在受控沙箱内自动完成重复的后台研究和报告工作。
    • 为每个部门配备一个拥有各自工具和权限的专家智能体。
    • 完全在本地模型上运行智能体,用于涉及隐私的工作。

    我测试了什么

    我用一个没有网络的 Docker 沙箱安装了它,一项隔离测试挡住了所有逃出沙箱的尝试。我在一个共享的网页工具服务器上设置了七个专家配置,链接了 78 个共享技能,并为它做了一个 claude-mem 记忆提供器。

    专家配置找到网页工具服务器
    7 / 7 通过(每次发现 2 个工具)
  • 已测试

    用纯 C 和 C++ 运行图像与视频生成的扩散模型,无需 Python 运行时。它支持压缩的 GGUF 模型和一个小型 Web 服务器。

    关键特性 在 Apple Silicon、NVIDIA 或 CPU 上,用单个原生程序完成图像与视频生成。

    商业场景

    • 在公司网络内生成产品和营销图像,源素材不会离开网络。
    • 为设计评审制作视觉草稿,无需按张支付云端费用。
    • 通过本地服务器,把图像生成接入内部工具。

    我测试了什么

    我构建了命令行工具和服务器,并在本地运行了 Z-Image 模型。我还配置了 Wan2.2 视频模型。

    Z-Image 单张图像生成时间
    71 秒和 75 秒
  • 图像与视频生成

    ComfyUI

    已测试

    一个节点图界面、API 和后端,用于构建和运行扩散模型的图像和视频工作流。

    关键特性 以节点图方式构建的、可复用且可编写脚本的生成工作流。

    商业场景

    • 构建可重复的创意流水线,让营销团队可以用新的输入反复运行。
    • 在自有硬件上生成图像和视频草稿。
    • 通过 API 把生成能力开放给内部工具。

    我测试了什么

    我在本地安装了它,并运行了一个 MiniMax H3 视频工作流。这是单次运行结果。

    MiniMax H3 视频渲染时间
    共 10 分 16 秒(采样 9 分 37 秒,每步 32.3 秒)
  • 编程智能体

    Qwen Code

    已测试

    一款运行在终端的开源编程智能体,可用你选定的模型读取、编辑并运行代码。

    关键特性 一款可以指向本地托管模型的终端编程智能体。

    商业场景

    • 帮助开发者处理不能离开公司网络的代码。
    • 对拉取请求自动进行初步审查。
    • 用本地模型批量重构并生成测试。

    我测试了什么

    我无法从源码构建,所以安装了已发布的 npm 包,并用本地编程模型对它做了冒烟测试。它随后对一份代码差异给出了结构化审查,指出五处缺陷。

    首次调用延迟,冒烟测试
    41 s
  • 编程智能体

    mini-swe-agent

    已测试

    一个非常小的智能体,只用 shell 来解决软件任务。

    关键特性 一个约一百行的编程智能体,易于审计。

    商业场景

    • 用于对编程模型做基准测试的透明基线。
    • 一个行为可供安全团队审查的简单智能体。

    我测试了什么

    我安装了它,运行了一次单任务冒烟测试和一次小规模扫描。所有这些都是在一个我后来已弃用的引擎上运行的,所以我不报告它的任何得分。

  • 编程智能体

    OpenHands

    已测试

    一个开源的软件工程智能体平台,带有 Python SDK,可在沙箱中运行智能体。

    关键特性 一个 SDK,用于在隔离的工作空间中运行带工具的软件智能体。

    商业场景

    • 为内部软件工程智能体制作原型。
    • 在沙箱中运行智能体,使其无法触碰生产系统。

    我测试了什么

    我把它的 SDK 封装进了我自己的运行器,并做了端到端的冒烟测试,包括带工具和不带工具两种情况。目前还没有评分结果。

  • 智能体编排

    Agent Council

    已测试

    召集一组命令行 AI 智能体,分几个阶段对一个问题进行讨论,然后写出结论。

    关键特性 多智能体讨论:先由各智能体独立作答,再进行综合。

    商业场景

    • 对架构和代码改动进行第二意见审查。
    • 在影响重大的决策上,减少单一模型的盲点。

    我测试了什么

    我安装了它并用于审查。我在本地修复了一些延迟和正确性方面的缺陷,并加入了一个本地 Qwen 模型作为议事会成员。目前没有向上游提交任何内容。

  • 智能体编排

    cortextOS

    已测试

    一个让多个 AI 编程智能体作为协调的团队在后台运行的框架。

    关键特性 一个无界面的多智能体守护进程,通过 Telegram 控制。

    商业场景

    • 按计划运行无人值守的智能体任务。
    • 通过聊天应用监控和引导智能体。

    我测试了什么

    我发现在较新的 Claude Code 版本中,无界面智能体会被权限提示阻塞,于是写了一个修复,并在该版本上用 Node 22 验证了它。我还把安装过程中的 Telegram 步骤改成了可选。

  • 智能体编排

    Paperclip

    已构建,尚未评分

    一个管理 AI 智能体团队的应用,有角色、目标和预算,像是智能体的组织架构图。

    关键特性 像公司一样组织的智能体,带有角色和任务跟踪。

    商业场景

    • 通过可见的任务看板,让多个智能体协同完成同一个项目。
    • 跟踪哪个智能体做了什么,以及花了多少成本。

    我测试了什么

    我安装并编译了它,还创建了一个实例。我在调查一个游离的后台进程时也读了它的代码。我没有评分结果。

  • 智能体测试框架

    prime-agent

    已构建,尚未评分

    一个用于编程和长时间任务的自我改进智能体,围绕递归语言模型构建。

    关键特性 一个在长任务中修改自身方法的智能体。

    商业场景

    • 研究面向工程自动化的长周期智能体设计。
    • 把它作为必须运行数小时的智能体的参考设计。

    我测试了什么

    我克隆、安装并编译了它,并在调查一个游离的后台进程时阅读了它的代码。我没有给它评分。

  • 智能体测试框架

    Tycho

    已测试

    一个 ARC-AGI-3 求解器,为每个游戏构建确定性状态机模型,并据此规划。

    关键特性 渲染后的确定性摩尔机,用作可学习的世界模型。

    商业场景

    • 检验一个已发表的研究型智能体,在它未经调优的任务上是否站得住。
    • 在把流程自动化交给长程规划智能体之前,对它们做压力测试。

    我测试了什么

    我在早期的配置中,用本地模型在十个游戏上自己运行过它。那次运行用的推理引擎我后来已经弃用,所以不公布它的得分,需要在我现在的环境上重跑。

  • 语音合成

    omnivoice.cpp

    已构建,尚未评分

    OmniVoice 的 C++17 移植版,可在本地运行带声音克隆的文本转语音,涵盖约 646 种语言。

    关键特性 本地多语言文本转语音,带声音克隆,不依赖云端。

    商业场景

    • 为培训和入职材料制作多语言配音,无需把脚本发给供应商。
    • 为内部工具和电话菜单原型增加语音输出。
    • 用一个模型为多个市场生成本地化音频。

    我测试了什么

    我编译了语音和编解码程序,并下载了 8 位模型。我还没有做过计时运行或质量测试。

  • 推理引擎

    colibri

    已测试

    用纯 C 在单台机器上运行超大的混合专家模型,方法是从磁盘流式加载活跃的专家。

    关键特性 从磁盘流式加载专家,使一个 744B 参数的模型能在一台笔记本电脑上运行,只是很慢。

    商业场景

    • 在购买基础设施之前,判断前沿规模的开源模型在自有硬件上是否可行。
    • 运行离线、涉及隐私的分析,这类任务可以接受数小时才得出答案。

    我测试了什么

    我用 Metal 支持编译了它,测试通过,并在本地硬件上以 4 位运行了 GLM-5.2 744B。它对实际工作来说太慢了,所以我删除了 429 GB 的模型。这些都是单次运行结果。

    GLM-5.2 744B 的 解码速度
    每秒不到 0.5 个 token
    解决一个编程问题所用的时间:colibri 上的 GLM-5.2 对比 llama.cpp 上的 DeepSeek V4 Flash
    63 分钟对比 37 秒

已关注,尚未测试

  • AirLLM推理引擎通过从磁盘一次加载一层,在单张小型 GPU 上运行超大语言模型。
  • kimi-k3-in-c推理引擎一个可移植的 C99 实现,通过流式加载权重,在 CPU 上用约 8 GB 内存运行 2.78T 参数的 Kimi K3。
  • thinharness智能体测试框架一个精简的、仅依赖 SDK 的编程智能体构建框架。
  • Retrodict智能体测试框架一款为 ARC-AGI-3 推理游戏打造的智能体。
  • arc-3-agents-baseline1智能体测试框架ARC-AGI-3 交互式推理基准测试的基线智能体。
  • deepseek-harness智能体测试框架DeepSeek 推出的基于插件的智能体测试框架,其中一切皆为插件。