✓ Free account: bookmarks & cross-device reading progress✓ Future purchases attach to this account automatically
Anthropic used a multi-agent pipeline to run Wiles's 1995 proof end-to-end, giving mathematics its first machine-verifiable proof of Fermat's Last Theorem from start to finish.