Stop attributing comprehension and agency
That's not what this is doing. At all. It's saying it produced a solution.
Edit: Y'all, mathematicians literally use deterministic algorithms called SAT solvers that solve the Boolean satisfiability problem. Saying an algorithm "solved" a math problem is not ascribing it comprehension or agency.