Revision History

Formalization of Fermat's Last Theorem (Anthropic, 2026) · 1 revision

Sizes are character counts of the article source. The signed number is the change from the previous revision.