清华团队开源VeriLoop E2：以循证收敛递归迈向可验证智能

已收录文章摘要，完整内容可前往原文阅读。

清华大学VeriLoop团队开源基于Qwen3.8-27B的VeriLoop E2模型，通过“循证收敛递归”机制确保推理结果经严格验证后方可更新，在代码、数学及科学推理等九项基准中表现优异，并成功应用于黎曼ζ函数与黑洞信息悖论等前沿研究。