Terence Tao – Machine-Assisted Proofs [video] (youtube.com)