Earlier quoted context omitted.
"I don’t think we’re able to show our workings for higher level things like proofs." I can't speak for proofs, but this is false in the case of higher level things like chess. I'm not a grandmaster, but I was a chess master at age 10 and I am ranked ~2400 in bullet chess. To the average person my ability to play chess is "magic". But to me it's not magic at all. I can explain my thought process at any time. It's all…
There’s chess theory, which is rule based and what you start off describing. But then you admit you don’t work directly with chess theory when selecting moves, there’s a trained black box evaluator that selects candidate moves, which you then select from via chess theory. That’s how you’re finding chess moves in the blink of an eye: you run a fuzzy approximation, then refine the results using higher level reasoning.…
You're missing my point. There is no "trained black box evaluator." There is indeed a trained evaluator, but it is not a black box. It is fully understandable. If I gave you private chess lessons, I could teach you my heuristics. And eventually you would understand them enough to be able to teach them to others. This would not be possible if it were truly a black box.