For those who don't know, Andrew Wiles proved Fermat's last theorem.