热点
"Lean Theorem Prover" 相关文章
GPT-5当上论文作者！AI首次以正式身份参与数学证明，攻克Erdős悬赏猜想
PaperWeekly 2025-10-24T14:52:22.000000Z
陶哲轩团队1年半项目，被他3周搞定，曾与LeCun吵翻天，如今AI大佬创业用智能体震惊整个学界？
36kr-科技 2025-09-12T10:22:55.000000Z