Does it matter what the average theist believes? If Aquinas doesn't believe in the same God that a typical Baptist churchgoer does, I don't think that means that Aquinas isn't a theist.
It matters if you're arguing from a majoritarian "orthodoxy as democracy spread over time" perspective. If the vast majority of theists throughout history didn't actually believe in the God of Aquinas, but rather in the God of the old testament (or whatever), then you can't cite their belief as evidence supporting Aquinas' (or your) God.
Or am I misunderstanding your argument?
Are there any essays anywhere that go in depth about scenarios where AIs become somewhat recursive/general in that they can write functioning code to solve diverse problems, but the AI reflection problem remains unsolved and thus limits the depth of recursion attainable by the AIs? Let's provisionally call such general but reflection-limited AIs semi-general AIs, or SGAIs. SGAIs might be of roughly smart-animal-level intelligence, e.g. have rudimentary communication/negotiation abilities and some level of ability to formulate narrowish plans of the sort that don't leave them susceptible to Pascalian self-destruction or wireheading or the like.
At first blush, this scenario strikes me as Bad; AIs could take over all computers connected to the internet, totally messing stuff up as their goals/subgoals mutate and adapt to circumvent wireheading selection pressures, without being able to reach general intelligence. AIs might or might not cooperate with humans in such a scenario. I imagine any detailed existing literature on this subject would focus on computer security and intelligent computer "viruses"; does such literature exist, anywhere?
I have various questions about this scenario, including: