Terence Tao argues AI could bring division of labor to math for the first time in history — Blankdot