Gary Marcus corrects analysis of mathematicians' AI views, noting Terence Tao signed the anti-hype Leiden Declaration · Digg