Well, if by AI you mean large language models, they tend to do better at language tasks than math tasks. So a better example might be that it’s easier to get an LLM to write a statement for you and checking if it’s correct than writing the statement from the bottom.

The square root was just a clearer example. In the case of OP, it might very well be easier to have an LLM propose relevant case law and then check if that case law exists and is relevant, rather than having to find it yourself from square one.