Chiron 只有能精确证明时才给 AI 输出盖章
justkidding1908 · reddit · 2026-07-23
Chiron 只有在能精确证明时，才给 AI 输出盖章
Chiron 被描述为一种“exact-or-refuse”证据门，用来处理结构化输出和可支持的文本断言。
- 对于序列类数据，它会先恢复一个受限规则，再用没见过的项做验证；只有能精确预测，才算 verified: true。
- 对于文本断言，它会把每条 claim 标成 VERIFIED、REFUTED 或 REFUSED，并明确展示覆盖边界，而不是因为局部检查通过就默认整段可信。
- 作者公开了一组外部评测结果：22 次盖章、22 次正确、0 次误盖、12 次拒绝；同时也公开了更早的一次失败历史，并说明如何修复后重跑。
- 仓库里还提供了 grading 和 challenge 脚本；项目源码可用，但非商业用途受限，部署版另有商业授权。
「研究」频道最新
- 机器人论文称 VLA 和 world model 还不够 — hbouammar · 2026-07-23
- Derya Unutmaz：AI 正把生物医学研究压缩到几天 — DeryaTR_ · 2026-07-23
- 作者主张用 Schema 校验取代 LLM 自主判断执行 — Jay299792458 · 2026-07-23
- 应用数学主导AI浪潮，为何梯度下降依然有效？ — fkasummer · 2026-07-23
- Cursor 的 Composer 2.5 推理明显弱于 Kimi 基座模型 — gleech · 2026-07-23
- Lanyon 称其神经符号求解器快前沿模型 20 到 250 倍 — burny_tech · 2026-07-23