用 Jev 构建代码库分类器
开发者分享用 Jev 构建代码库分类器，认为这可能解决智能体生成过度工程化代码的问题，并询问下一步测试方向。
Jev 不到1美元证明140个定理
Jimmy Koppel 指出，Jev 以不到1美元的成本证明了140个 Software Foundations 定理，而 Astra 虽然求解率更高，但价格是 Jev 的130倍。验证通常由大量小证明组成，这正是 Jev 的优势所在。
The economics of program verification just changed. Jev proved 140 Software Foundations theorems for under $1. Astra crushed its solve rate—but at 130× the price. Verification is rarely one hard proof. It’s lots of little ones. That’s where Jev gets interesting.
· 0 次赞在 X 打开
更多类似内容
Jev 以 20–200 倍速度和 40–400 倍低成本实现 LLM 评判
Jev 被用于判断哪个模型是 AGI，速度提升 20–200 倍，成本降低 40–400 倍，可让 LLM-as-a-judge 变得极快且近乎免费。
使用 TypeSafe Jev 与 OpenCode 测试应用
Filip 分享了一个小演示，展示使用 TypeSafe Jev 和 OpenCode 测试应用的速度。
