Chiron：可证伪的验证系统
justkidding1908 · reddit · 2026-07-17
Chiron 是一个强调“**先验证、再输出**”的机器智能验证系统，目标是把不确定性降到最低。 它的思路是： - 通过 Minimum Description Length 尝试恢复底层规则 - 用数据集里**没见过**的留出样本做验证 - 对无法被严格验证的结果直接拒绝输出 - 每个输出都附带可签名、可证伪的证书 作者同时放出了公开仓库和一个原型演示，强调它追求的是“确定性”而不是表面置信度。