Terence Tao – Machine Assisted Proof [video](youtube.com)2 points·by chamoda·vor 2 Jahren·0 commentsyoutube.comTerence Tao – Machine Assisted Proof [video]https://www.youtube.com/watch?v=AayZuuDDKP00 commentsPost comment—