Skip to content

Lean

主题归档 • 1 条结果

返回首页 • GEO summary endpoint

2026-09-05

科技

  • Anthropic旗下Claude模型在Lean中完成费马大定理的形式化证明: Anthropic宣布，其Claude AI模型在11天期间基本上自主工作，以形式化费马大定理的证明。该项目产生了使用Lean编程语言对该著名数学定理的首个完整计算机验证证明。

    Anthropic • Techmeme

    永久链接