

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.
Wolfenstein: Old Blood (PC)
I really enjoyed the New Order game, wonderful world building and really satisfying over the top shooting. I even ended up checking out the math the scientist woman wrote on the walls in her room, turned out to just be random Taylor series, which is still pretty good!