Comment by aeternum

>Surely if the machine you go to for answers regularly makes things up you would just stop using it?

Not necessarily, namely because P != NP. Verifying the correctness of a solution is faster than solving it. Thus a system that outputs 99% incorrect solutions and 1% correct solutions can still be incredibly useful.