A mathematician told me that LLMs are great at "bazooka style proofs."

That is, proof by exhaustion.

You don't need induction if you can try every single hammer to see which ones work to pound the nail.

They're powerful engines, but mainly because they can grind on relentlessly.

Another place where LLM's power is their infinite patience.