Skip to content
Loading…
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
To respect copyright, we link to the source rather than republishing the full text. Read the complete article on New Scientist.