⌘ K
… 读取采集状态 同步中...
雷
原文
机器之心·· 7 天前AI 评分21

清华团队开源 VeriLoop E2 模型:黎曼猜想临界线零点比例下界达 67.35%

黎曼猜想临界线零点比例下界达67.35%:清华团队开源模型VeriLoop E2叩开可验证智能之门

AI 导读

清华大学团队开源模型 VeriLoop E2,在黎曼猜想临界线零点比例上取得了 67.35% 的下界。该成果展示了前沿大模型在计算增强与深度推理下的可验证智能能力,表明模型在调用更多计算进行更长推理时,仍需解决基础正确性问题。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:机器之心 · jiqizhixin.com