オリジナル 11日間・1300万行：ClaudeがFermatの最終定理の初のコンピュータ検証可能な証明を完成——しかし「自律」という言葉は精査が必要 Anthropicは2026年9月4日、内部研究モデルが11日間でFermatの最終定理の完全なLean形式化証明（1300万行、3万件超の中間定理）を作成したと発表した。これは史上初のコンピュータによる完全検証だが、「自律」の実態や数学的 Anthropic Claude 费马大定理 形式化证明 3時間前 39
