Fermat’s Last Theorem: Wiles and Taylor–Wiles

What changed

For an integer n > 2, no positive integers a, b and c satisfy a^n + b^n = c^n.

Scientific scope

The Wiles and Taylor-Wiles modularity route sufficient to establish Fermat's Last Theorem.

Evidence

Original sources and institutional historical accounts support the stated contribution. The reading boundary is recorded at each source; this assessment is not an independent scientific verification.

Contributors

• Andrew Wiles · SCIENCE: Named source contributor to this scoped work; individual labor shares are not measured.
• Richard Taylor · SCIENCE: Named source contributor to this scoped work; individual labor shares are not measured.

• Wiles, Modular elliptic curves and Fermat’s Last Theorem (1995)
• Taylor and Wiles, Ring-theoretic properties of certain Hecke algebras (1995)

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction