Terence Tao and Yu Deng discuss understanding and credit in machine-assisted math · Digg