Suppose I write a programme that spits out syntactically correct, but otherwise random statements. Is that a “theorem prover”? No, because it is not following any norms of reasoning. A theorem prover will follow norms programmed into it, or it is not a theorem prover. Of course it is not reflexively aware that is is following norms, any more than it is aware it is making claims. And it is not as if the ability of humans to follow norms is not at least partially “programmed” from the outside.
Suppose I write a programme that spits out syntactically correct, but otherwise random statements. Is that a “theorem prover”? No, because it is not following any norms of reasoning. A theorem prover will follow norms programmed into it, or it is not a theorem prover. Of course it is not reflexively aware that is is following norms, any more than it is aware it is making claims. And it is not as if the ability of humans to follow norms is not at least partially “programmed” from the outside.