热点
"数学定理证明" 相关文章
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
机器之心 2025-07-17T10:54:31.000000Z
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
智源社区 2025-06-07T01:32:45.000000Z
DeepSeek发布开源数学定理证明模型
DeepSeek 2025-05-14T20:16:03.000000Z
DeepSeek新数学模型刷爆记录！7B小模型自主发现671B模型不会的新技能
智源社区 2025-05-03T02:22:59.000000Z
DeepSeek新数学模型刷爆记录 7B小模型自主发现671B模型不会的新技能
Cnbeta 2025-05-02T02:07:31.000000Z
Kimina-Prover 预览版：基于强化学习的大规模形式化推理模型
月之暗面 Kimi 2025-04-19T07:01:53.000000Z
DeepSeek发布开源数学定理证明模型
DeepSeek 2025-04-09T10:06:04.000000Z
Plausibly Factoring Conjectures
少点错误 2024-11-22T20:22:08.000000Z
DeepSeek发布开源数学定理证明模型
DeepSeek 2024-10-28T00:09:54.000000Z
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
智源社区 2024-10-13T14:54:31.000000Z
TheoremLlama: An End-To-End Framework to Train a General-Purpose Large Language Model to Become a Lean4 Expert
MarkTechPost@AI 2024-07-10T15:46:34.000000Z