"People can be fooled into thinking of mathematics as logical, formal, symbolic reasoning. But this is far from reality...computers are far better at formal computation and formal reasoning, but humans are far better mathematicians."