Anthropic says AI model Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check ...
It cost me $6, but it's the best money I've spent all year.