清华团队开源 VeriLoop E2，黎曼猜想临界线零点比例下界推进至 67.35%

清华大学深圳国际研究生院团队开源 VeriLoop E2，以 Qwen 3.8-27B 为基础模型后训练，面向代码、数学与物理等可外部验证的推理任务，提出循证收敛递归（VGR）机制，将候选状态的生成权与持久化提交权分离，只有外部证据全部不退化且至少一项严格改善时才允许提交。