AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Story
Decrypt · Crypto & Web3
Join the conversation
Discuss the story with the TraceFeed community.
No comments yet. Be the first to add a perspective.