热点
"Lean" 相关文章
明日直播｜AI4Math，形式化数学推理，Meta科学家杨凯峪分享，报名
智源社区 2025-02-25T13:52:16.000000Z
Meta｜AI4Math，形式化数学推理，人工智能新前沿，一作杨凯峪分享
智源社区 2025-02-21T04:37:10.000000Z
让AI理解费马大定理的证明，两个月过去了，进展如何？
机器之心 2024-12-28T08:39:02.000000Z
陶哲轩宣布“等式理论计划”成功，人类AI协作57天
虎嗅 2024-11-24T01:22:15.000000Z
陶哲轩宣布“等式理论计划”成功：人类 AI 协作，57 天完成 2200 万 + 数学关系证明
IT之家 2024-11-23T04:37:31.000000Z
陶哲轩用AI证明方程理论，19天进度99.99%，论文将上线
智源社区 2024-10-17T14:38:42.000000Z
陶哲轩用AI证明方程理论，19天进度99.99%，论文即将上线
36kr-科技 2024-10-14T07:23:31.000000Z
LLMLean: An AI Tool that Integrates LLMs and Lean for Tactic Suggestions and Proof Completion
MarkTechPost@AI 2024-08-01T09:34:29.000000Z