“Terence Tao predicts that within a decade, many tasks that currently constitute the bulk of mathematicians' work will be automatable by AI.”