Claude、350年間未解決だったフェルマーの最終定理の証明を11日で完了

Anthropicは9月4日、AIエージェント「Claude」がフェルマーの最終定理の完全なコンピュータ検証済み証明を11日間で作成したと発表した。これは1995年にアンドリュー・ワイルズが発表した既存の証明を、Leanなどの証明支援系で検証可能な形式に変換（形式化）したもの。研究チームはProve2Meプラットフォームを活用し、Claudeが約3万300件の中間定理を証明し、1300万行のコードを生成した。