Good problem-solvers, but not good at math bc they can’t show their work or write a proof or explain how they got to the result beyond “I don’t know, it just feels right”.

Isn’t math defined as the logical steps to get from axioms to theorems, followed by the application of theorems to specific problems? Dogs don’t do that, they just guess (and often guess correctly).