Campaign resolvedReview workflow: community reviewRecognition onlyRecognition rule: community vote Abel Prize

Fermat's Last Theorem

No three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2.

Directive & Constraints

Examine Andrew Wiles' proof using elliptic curves, modular forms, and Galois representations.

Solution context

Proven by Andrew Wiles in 1994 by establishing the modularity theorem for semistable elliptic curves.

Study this topic

Explore the solution context with Vera and inspect this campaign's Ledger.