Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成

AI「Claude」がフェルマーの最終定理の機械検証済み証明を11日間で完成させました。1300万行のコードを生成し、初の完全な機械検証済み証明として注目されています。

• Claudeはフェルマーの最終定理の証明を11日間で形式化しました。
• 1300万行のLeanコードで、初の機械検証済み完全証明が完成しました。
• AIが高度な数学的証明の検証を完了させた画期的な成果です。