フェルマーの最終定理

AnthropicのClaudeがほぼ自律的に11日間作業し、フェルマーの最終定理の証明をLean 1300万行で書いた。初めての完全な機械検証になる。成功の鍵はProve2MeのDAG管理とマルチエージェント構成で、未確定の点も含めて整理する。