1. 13:12
   量子位

   清华团队开源VeriLoop E2：模型负责探索，外部证据决定提交

   VeriLoop E2 开源，将模型“探索权”与外部证据“提交权”分离，确保新状态需通过受保护证据验证方可写入。系统基于 VGR 机制组织后训练，在 9 项覆盖代码与科学推理的 Benchmark 上完成评测。官方发布 BF16 至 IQ1_M 的 GGUF 量化版本，并以 BF16 为参照测量 PPL 与 KL divergence。

当前热度 3·可比范围峰值 8（10月11日 20:00）·近 24 小时可比范围变化 -50%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。