The proof of Fermat’s last theorem has been formalised by the AI company Anthropic in just 11 days using a group of AI agents. The work confirmed that the human-found proof proposed in the 1990s by Andrew Wiles is correct.
log in to read full article