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
Source: [Decrypt](https://decrypt.co/377491/ai-solved-350-year-old-math-problem)
📰 Read Full Story
This is an aggregated headline summary. For the complete report, visit the original publisher.
Continue Reading at Decrypt ↗