@pigworker @ColinTheMathmo This is why AI systems have proven unable to solve any problem not already solved by humans, such as proving that solutions to the Navier-Stokes equations can become singular or that there are no zeros of the Riemann zeta function with real part > 7/8.
I vigorously endorse[1] disapproving of AI systems because you disapprove of how they were trained, or because you fear they will cause mass unemployment, or because you think their net effect will be to concentrate power in the hands of billionaires even more than at present, or because you think using them will inevitably be bad for one's brain, or because you think they might wipe out the human race. But I see too many otherwise-extremely-smart people who have nailed their colours to the mast of the good ship Stochastic Parrot and proclaim confidently that AI systems cannot do things that they demonstrably can do[2], and I think it's better not to do that.
[1] I am not sure all those things are _right_ but they are for sure things that a reasonable person can disapprove of AI for.
[2] Some other people make the opposite mistake, but I don't see many of them here.