Computers are far better at formal computation and formal reasoning, but humans are far better mathematicians.
~ William Thurston

:::