Fermat’s last theorem formalised by AI agents in just 11 days
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
This is a summary aggregated from New Scientist. Read the complete article on the original site:
Read full article at New Scientist
