As I recall, the IRS agent ended up being a bit apologetic about the whole thing.

I remember this one. Silver age DC was weird, y’all.

Indeed; it definitely would show some promise. At that point, you’d run into the problem of needing to continually update its weighting and models to account for evolving language, but that’s probably not a completely unsolvable problem.

So maybe “never” is an exaggeration. As currently expressed, though, I think I can probably stand by my assertion.

Proven? I don’t think so. I don’t think there’s a way to devise a formal proof around it. But there’s a lot of evidence that, even if it’s technically solvable, we’re nowhere close.

We will never solve the Scunthorpe Problem.

Link, if you wish

This writing prompt from about a year ago on the other site is relevant:

Aliens take over the Earth. They then announce that they will be forcing the humans to work a “tyrannical” 4 hours a day 4 days a week in exchange for basic rights like housing. Needless to say they are very confused when the humans celebrate their new alien overlords.