Are such problems generally easier? If they’re the easiest of the hard problems, this is consistent with
There are many advances that are NOT counterexamples, however all of the most impressive (from a human standpoint) ones seem to be counterexamples.
And via procedural/long term memory?