3 ms·Terence Tao on Machine Assisted Proof [pdf]3 points by jjgreen 3y agochmaynard 3y agoVideo: https://www.youtube.com/watch?v=AayZuuDDKP0 https://www.youtube.com/watch?v=AayZuuDDKP0