"If the AI were intelligent, it would work this out for itself. It's not so it doesn't."
I'd dispute that. I'm always being told that *we* are intelligent, but the hard evidence is that millions of people have spent several thousand years on the problem and are only very slowly figuring it out.
That's probably why we *still* don't have a definition of "intelligence" that isn't circular (with an embarrassingly small radius).