They are tools that can help humans do things like disproving the Jacobian Conjecture that very gifted human mathematicians couldn't do until now (even with the help of computers).

Yes,their intelligence is jagged, excellent for some things and not so good for others, but calling them "minimally intelligent" is disingenuous.