RWA Anthropic’s AI, Claude, has solved Fermat’s Last Theorem by generating a 13-million-line proof that can be verified by computers without human trust. This breakthrough highlights AI’s growing capability in complex reasoning and formal verification, though it is not directly tied to RWA tokenization.