RecodeX 重构消息，清华大学团队发布开源推理模型VeriLoop E2，该模型以Qwen 3.8-27B为基础进行后训练，面向代码、数学、物理三类具备外部可验证约束的复杂推理任务，提出循证收敛递归VGR机制，将候选状态生成权与持久化提交权分离，以外部可验证证据作为状态提交的唯一判定依据。

VeriLoop E2在9项相关基准测试中表现优异，并同步发布多档位GGUF量化版本供开发者选择。团队还基于该模型探索黎曼ζ函数临界线零点比例下界，将有限维证书结果从67.25%推进至67.35%，相关推导与验证材料均公开供第三方独立复核。