What I find interesting in this show is that he took a hiatus from his profesorship to spend the time to find the proof. I think it was years. Also, he found the proof by providing a different conjecture(is that right) to solve Fermat.

Higher mathematics is just a different world to those of us who haven't even a clue how that world functions.