フェルマーの最終定理

Anthropicは、Claudeが11日間で自律的に動作し、Leanプログラミング言語を用いてフェルマーの最終定理の完全なコンピュータ検証版証明を作成したと発表した。