フェルマーの最終定理

フェルマーの最終定理をClaudeが11日と1300万行で機械証明した

Anthropicが9月4日にAI「Claude」がフェルマーの最終定理を形式化したと発表した。11日間の自律作業で約1300万行のLeanコードを生成し初の完全な機械…