清华团队开源VeriLoop E2模型

2026年10月6日，机器之心报道，清华大学深圳国际研究生院团队开源 VeriLoop E2 模型。该模型以 Qwen 3.8-27B 为基础模型后训练，面向代码、数学与物理等可外部验证的推理任务，提出循证收敛递归（VGR）机制，将候选状态的生成权与持久化提交权分离，只有外部证据全部不退化且至少一项严格改善时才允许提交。报道称，该工作由刘厚德教授和周超男董事长联合指导，王立博博士后担任实验室团队 AI 研究员，李海启、向安麟两位硕士研究生作为 AI 研究助理参与研发。团队已发布标准权重版本，并同步发布官方 GGUF 量化版本，覆盖 BF16、Q8_0、Q6_K、Q5_K_M、Q4_K_M、Q3_K_M、IQ2_S 与 IQ1_M。报道指出，目前并未对每个量化档位重新跑完整 9 项 Benchmark，因此 +0.3191% 或 +0.4450% 的 PPL 漂移不能被解释为 SWE-bench、AIME、GPQA 等任务分数等比例下降。团队还计划在条件成熟后基于 VeriLoop Harness 推出编程智能体 Voder。报道称黎曼猜想临界线零点比例下界推进至 67.35%。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。