Jev 被质疑并非概率编程:只用边缘分布、靠并行独立假设换速度

ivan_bezdomny · x · 2026-09-19

围绕 Typesafe AI 的 Jev 是否属于概率编程的技术争论。Gergely Orosz(headinthebox)认为 Jev 是个不错的 API,但称它为概率编程、或把它归类为 Kleisli 箭头是夸大——按 Claude Code 的解释:「Jev 给你的是边缘分布,decoder 给你的才是联合分布」;它的箭头虽形如 Giry/分布单子中的 State → Dist[B],但针对同一固定状态问 N 个问题并不等于真正的联合建模。

ivanbezdomny 补充猜测:Jev 没有深入数学建模,而是通过并行提问并假设坐标独立来换取速度——因此快、但无法真正「推理」或做写代码这类递归式工作,不过对海量快速决策来说已经够用。他引用论断「除非坐标独立,否则边缘分布不决定联合分布」来概括其局限。

原文链接 →

「模型」频道最新

更多「模型」频道 AI 资讯 →