热点
"形式化推理" 相关文章
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
机器之心 2025-07-17T10:54:31.000000Z
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
AI科技评论 2025-06-12T03:24:38.000000Z
Kimina-Prover 预览版：基于强化学习的大规模形式化推理模型
月之暗面 Kimi 2025-04-19T07:01:53.000000Z
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
机器之心 2025-03-08T09:00:56.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
36氪 AI 2024-12-24T09:51:33.000000Z