AnthropicのClaudeがフェルマーの最終定理のコンピュータ検証済み証明を自律的に作成

AnthropicのClaudeがフェルマーの最終定理のコンピュータ検証済み証明を自律的に作成 https://bunrin.work/news/ja/news/formalizing-fermat-s-last-theorem-94359 Anthropicは、AIのClaudeがLeanプログラミング言語を用いて、フェルマーの最終定理の完全なコンピュータ検証済み証明を11日間で自律的に作成したと発表しました。