Mathematicians will probably become obsolete before anyone else [pdf] (2004)