Anthropic AI announced on 4 September that Claude has converted the proof of Fermat's last theorem into 13 million lines of computer-verified code, completing in 11 days a project expected to take humans ten years. Alex Kontorovich of Rutgers University called the result mind-blowing, and Kevin Buzzard of Imperial College London said it was an order of magnitude more difficult than prior AI formalization work.
No score is assigned. Sources and their independence are shown in the citation chain below.