I posted on Mathematics Stack ExcangeExchange, but was encouraged to post on MathOverFlow instead.
It'sIt has been 20 years since Fermat's last theorem was proved by Andrew Wiles.
Has there been any simplification in proof in the last 20 years?
What I do only know is only that different proofs of Faltings's theorem were given by Vojta and Bombieri
and Khare-Wintenberger's proof of Serre's Conjecture gives a different proof of FLT (Thethe latter was told to me in a comment on the Mathematics Stack Exchange).
Thanks in advance.