Comment by Lockal

This needs a new category:

AI verification: AI meticulously abuses all available loopholes to deliver answer expected by operator, rather than actually responding to the problem.

Simplest example: proof that `x+1 > x` (borderline impossible)