I also want to urge anyone with even just a fleeting interest in mathematical topics like this to go out looking for said BBC documentary. It's a marvelous portrait of the characters and backstories behind this proof.