> They must be doing some form of reasoning, even if it's not formally correct and ...

Surely it is worthwhile to attempt to understand the details of that? And if we seek human equivalent performance then it is reasonable to wonder if the reasoning achieved to date is the "correct" sort.