350年の難問、AIが11日で「答え合わせ」完了しました

1637年、フェルマーが本の余白に残した謎かけ。決着まで350年以上、証明は129ページ、検証には何か月もかかりました。

その「答え合わせ」を、Claudeが11日間でやってのけた——というAnthropicの発表を、ざっくり噛み砕いて話します。1300万行のコード、2万9500個の定理、そして人間の査読が追いつかなくなる時代に何が起きるのか。