UCLA mathematician Terence Tao says AI automation of routine tasks lets researchers test unconventional, high-risk hypotheses · Digg