STORY · 事件已收束

Anthropic 发布费马大定理的 Lean 4 机器检查完整证明

1 个精选信源 · 1 篇报道持续 1 天最新动态 2天前
最新进展

费马大定理的 Lean 4 机器检查完整证明开源发布

TIMELINE

报道时间线

1 条公开报道 · 官方一手 0 条 · 最新在前
  1. 费马大定理的 Lean 4 机器检查完整证明开源发布
    Hacker News 热门（buzzing.cc 中文翻译）精选

    Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明，遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线，以 Apache 2.0 开源。