清华团队开源可验证推理模型 VeriLoop E2

前沿大模型高速演进背景下，新增计算并不必然带来可验证的真实进展，针对这一结构性缺口，相关团队发布开源模型 VeriLoop E2。该模型以 Qwen 3.8-27B 为基础后训练，面向代码、数学、物理三类具备外部可验证约束的复杂推理任务，提出循证收敛递归 VGR 机制，将候选状态生成权与持久化提交权分离，以外部可验证证据作为状态提交的唯一判定依据，还将该提交规则同构为后训练监督信号，提升模型生成合格候选的概率。VeriLoop E2 在 9 项相关基准测试中取得优异表现，同时同步发布多档位 GGUF 量化版本供开发者按需选择。团队还基于该模型开展黎曼 ζ 函数临界线零点比例下界的探索，将相关有限维证书结果从 67.25% 推进至 67.35%，所有推导与验证材料均公开供第三方独立复核。该项目主张探索可激进、提交需严格，推动验证安全能力与前沿 AI 能力同步进化，守住人的主体性，认为未来不应被完全预知或替人类完成，而应被不断打开，拓展人类可亲自抵达的认知疆域。