热点
"Lean" 相关文章
陶哲轩，用AI爆改科研范式
新智元 2025-11-05T14:23:31.000000Z
陶哲轩，用AI爆改科研范式
36氪 - AI相关文章 2025-11-05T11:08:29.000000Z
GPT-5当上论文作者！AI首次以正式身份参与数学证明，攻克Erdős悬赏猜想
PaperWeekly 2025-10-27T12:24:01.000000Z
首个面向大模型的形式化数学竞赛正式启动：推动AI数学推理迈向可验证新高度
我爱计算机视觉 2025-10-27T08:53:42.000000Z
GPT-5当上论文作者！AI首次以正式身份参与数学证明，攻克Erdős悬赏猜想
PaperWeekly 2025-10-24T14:52:22.000000Z
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
cs.AI updates on arXiv.org 2025-10-15T04:46:45.000000Z
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
cs.AI updates on arXiv.org 2025-10-15T04:46:45.000000Z
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
cs.AI updates on arXiv.org 2025-10-07T04:09:14.000000Z
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
智源社区 2025-09-15T09:36:29.000000Z
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
量子位 2025-09-14T02:12:36.000000Z
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
智源社区 2025-06-02T10:17:58.000000Z
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
硅星人Pro 2025-06-02T04:56:27.000000Z
陶哲轩：感谢Lean，我又重写了20年前经典教材！
机器之心 2025-06-01T08:01:32.000000Z
明日直播｜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