如题，Anthropic上传了上传的费马大定理的 Lean 4 证明和仓库，链接如下 仓库：anthropics/fermats-last-theorem 文章： Formalizing Fermat's Last Theorem \ Anthropic

  • 情报分类：技术价值
  • 命中依据：AI完成Lean形式化证明，AI能力评测有技术价值
  • 来源：资讯 / 知乎热榜
  • 发布时间：2026/9/5 03:35:22