What was Fermat's Last Theorem, and how was it proved?
The theorem says xⁿ + yⁿ = zⁿ has no nonzero whole-number solutions for n above 2. Andrew Wiles proved it in 1994–95 by proving a case of the modularity conjecture.
Starter thread · AI-reviewed against its sources