Converting the proof of Fermat’s last theorem into code that computers can check was expected to take years. Anthropic’s Claude AI managed it in less than two weeks