Maybe kinda analogous to the difference between declarative and imperative languages. They (supposedly) don't do step-by-step reasoning to get at the truth, they just "see" it. Like the old story about Bhaskara's proof of the Pythagorean Theorem being, just, "Behold."