was proved Andrew Wiles scheme theory algebraic geometry category theory homological algebra algebra geometry Pierre de Fermat prove
This conjecture was stated in 1637 by Pierre de Fermat, but it was proved only in 1994 by Andrew Wiles, who used tools including scheme theory from algebraic geometry, category theory, and homological algebra.