Anthropic、フェルマーの最終定理の形式的証明を公開：Claudeが完遂
AnthropicはAIエージェントがLean 4で構築したフェルマーの最終定理の完全な形式的証明をGitHubで公開した。29,511個の定理と1300万行を超えるコードで構成され、2つの独立カーネルによる検証をパスした。AIが高等数学の超大規模な形式化を完遂した重要な成果となる。
AnthropicはAIエージェントがLean 4で構築したフェルマーの最終定理の完全な形式的証明をGitHubで公開した。29,511個の定理と1300万行を超えるコードで構成され、2つの独立カーネルによる検証をパスした。AIが高等数学の超大規模な形式化を完遂した重要な成果となる。