About Fermat's Last Theorem

This site is a general-interest explainer of Fermat’s Last Theorem: what it says, why it resisted proof for more than three centuries, how Andrew Wiles proved it, and how the proof came to be checked by computer in the Lean theorem prover. The home page is written for a curious reader with school mathematics. The page on Wiles’s proof assumes a little more.

To be candid about who wrote it: this is not a mathematics department or a journal. It is published by a software company, not by the mathematicians whose work it describes. We have tried to earn the reader’s time by being careful. Every date, name and number is taken from a source we link to, such as the Annals of Mathematics, the MacTutor History of Mathematics archive, the papers of the mathematicians involved, and the formalization projects’ own repositories. Where sources disagree, as they do on the date of Fermat’s note, we say so. The one page that mentions our product is the guide to the Lean formalization, and it is labelled there.

Who publishes this site

Fermat's Last Theorem (fermatslasttheorem.com) is written and published by General Action, the company that makes Emdash, a product for running AI coding agents. This site is not an independent review site: it is our publication, and Emdash is our product.

How we handle recommendations

• Wherever Emdash is recommended, it is labelled as our own product. We say what it is good for and where another tool is the better choice.
• Other products are described from their public documentation and pricing pages. We are not paid to mention them and we do not use affiliate links.
• Product details change. Each page shows the date it was last updated; check the vendor's own site before you rely on a price or a plan limit.
• We do not publish ratings, scores or test results unless the page explains how they were produced.

Corrections

If something here is wrong or out of date, tell us through General Action and we will fix it.