https://index.zshipu.com/ai001/tags/%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E/ Recent content in 数学证明 on 知识铺的博客 Hugo -- gohugo.io zh-CN Sat, 05 Sep 2026 00:00:00 +0000 https://index.zshipu.com/ai001/post/20260905/Anthropic-Claude-11%E5%A4%A9%E8%87%AA%E4%B8%BB%E5%AE%8C%E6%88%90%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86Lean%E5%BD%A2%E5%BC%8F%E5%8C%96%E8%AF%81%E6%98%8E/ Sat, 05 Sep 2026 00:00:00 +0000 https://index.zshipu.com/ai001/post/20260905/Anthropic-Claude-11%E5%A4%A9%E8%87%AA%E4%B8%BB%E5%AE%8C%E6%88%90%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86Lean%E5%BD%A2%E5%BC%8F%E5%8C%96%E8%AF%81%E6%98%8E/ 9月4日 Anthropic 宣布，Claude 在基本自主运行11天后，完成了费马大定理首个端到端、经计算机检查的Lean形式化证明。这一结果把原本需要数十年人工积累的数论证明，压缩到不到两周的机器自主过程，直接改写了形式化验证的时间尺度。 Claude 11天自主运行首次实现端到端Lean证明 Anthropic