Even assuming that there is a specification, which is already a tall order: - if this is something like automated theorem provers, it's something like (2). It'

Even assuming that there is a specification, which is already a tall order: - if this is something like automated theorem provers, it's something like (2). It's correct, provably correct even, but it's a bunch of nonsense that provides no insight to humans. - if this is something like natural language query generators, it's something like (1), but with a much lower success rate (closer to 50% IME). I don't even need to specify that AI-generated code is interesting, but we aren't even remotely close to being there.