Once you get past trivial problems, the issue is not just "solving the problem" but proving the solution "solves the problem".

This is the strongest argument as to why AI should only be used as small solvers (at this point).