That was adamddev1s point. It's a unreliable tool. You cannot copy & paste its results into a paper as proof. You could do this with e.g. Lean. To review what it writes you need to understand the topic to such an extend that you could have written it yourself (at least that is how it is for me when I review code).

Yes, for inspiration or search they are great tools.