3 ms·Terry Tao – Machine assistance and the future of research mathematics [video]2 points by danielmorozoff 8mo ago