⚡驚異的：AIが11日間で、人類が358年間解けなかった問題を解決した。 フェルマーの最終定理は1637年に本の余白に書き込まれ、その証明は余白に収まらないとメモされていた。 人類は1994年までその解決に至り、その証明は非常に複雑で、ほとんど誰も完全に検証できなかった。 AnthropicのClaudeが、わずか2週間未満で、コンピューターが自力で検証できる1300万行のコードとして、その証明全体を再構築した。 この証明全体は公開されており、誰でも一行ずつ確認できる。