🤯 Claude just solved Fermat's Last Theorem
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into a 13 million-line proof a machine can verify on its own, no human trust required.
That is not autocomplete, that is machine reasoning doing what took humans centuries.
Sk
September 5, 2026 80 3
