Are AI models narrowly creative?
Showing only ideas leading to #4684 and its comments.
See full discussion·See most recent related ideasLog in or sign up to participate in this discussion.
With an account, you can revise, criticize, and comment on ideas.AIs have created output that is not only novel, but seems to constitute new knowledge (resilient information), such as the famous Move 37 from AlphaGo. That is new knowledge because the move was not present in the training data explicitly, nor did the designers construct it.
Since evolution created genetic knowledge from nothing, it can be said to have the same "narrow creativity" as AI. The confusion over whether AI "is creative" can be resolved by saying that it is, but only narrowly (like evolution), and that the creativity defining people is universal, not limited to any domain. AI creates knowledge in domains it was designed for; AGI can create knowledge in all possible domains, each of which it designs itself.
This also admits of the distinction between AI and AGI (and "universal creativity") as being whether the system is capable of creating knowledge ex nihilo, as argued by Deutsch. Only universal creativity could create knowledge from nothing. Bounded creativity must start with something.
But nature created genetic knowledge from nothing. So this is an example of something which does not have universal creativity which created knowledge ex nihilo.
Nature does have universal creativity; it can generate any possible knowledge. And all possible knowledge exists somewhere in reality.
By this standard, a random number generator has universal creativity as well, and is therefore a person. So there must be a standard for personhood other than: able to generate any possible explanation. Such as: can do that tractably.
I think tractibility lacks the open-ended capacity to reformulate what counts as a problem, a solution, and relevant data. Creativity is (at least partially) the ability to reformulate the problem space itself, not by ironing out implications of existing theories. An AI and computational systems is already good at ironing out the implications in our language and existing knowledge systems. But that's search within a given space, not the creation of a new one. Creativity seems to work on a higher level. It's operating at the level of problem framing, which requires things like relevance. An AI can't create new relevance, because its weights are a statistical compression of what humans have already found relevant. It inherits a pre-given frame.
I might be confused about what you mean by tractible. But it seems to me that tractability can't do the work the bounty asks. Tractability is formally defined relative to a fixed problem space. But universal creativity is (at least partially) the capacity to restructure the space, to change what counts as a problem, a solution, and relevant data.
An interesting example from cognitive science is the Mutilated Chessboard Problem, which asks whether a board with two same-coloured corners removed can be tiled by dominoes. As a tiling problem the search space is combinatorially explosive. But reframe it as a colour problem and the answer is easy. Every domino covers one black and one white square, and you have unequal numbers of each. The solution came not from searching harder, but from seeing the problem differently.
An alternative criterion for personhood is speed: a person is a program that can synthesize any explanation in less than the lifetime of the universe, say.
This is a bad criterion because then random program generators are sometimes people.
This wrongly implies speed is a property of programs, but it's a property of hardware.
Speed is a property of programs, too. https://en.wikipedia.org/wiki/Big_O_notation
Ah, so if I understand correctly, there are two knobs affecting speed (elapsed time) for a given algorithm: the hardware, and the implementation of the algorithm. The given algorithm has a complexity, independent of those two, which is how the time and memory scales with an input.
The given algorithm has a complexity, independent of [the implementation]
No, the complexity depends on the implementation.
"Complexity" in the sense of growth behavior with input size? Further reading is still suggesting to me that this is intrinsic to a given algorithm (or class of them). Intrinsic to the math and logic. Implementations can be faster/slower/hungrier for a given input, but if they have different limiting behavior, aren't they different algorithms? I can see how an "implementation" of one algorithm in practice can accidentally change it to another algorithm.
"Complexity" in the sense of growth behavior with input size?
Yes.
I can see how an "implementation" of one algorithm in practice can accidentally change it to another algorithm.
Not sure why you put that in scare quotes. You might be right in the CS sense where ‘algorithm’ refers to an abstract procedure whereas ‘implementation’ is concrete code realizing that algorithm. (Though as a disclaimer, I don’t have a CS degree. My experience with programming is fully on-the-job.)
My point is more that two different implementations that compute the same function can have different big O. In that case, they’re usually considered different algorithms, even if the high-level goal is the same.
Regardless, the structure of the program is by far the most important factor determining performance characteristics. If you were saying that complexity is independent of implementation only insofar as the implementation truly implements the same algorithm, then I agree. So I’m not sure whether I should mark this as a counter-criticism. For now I won’t, pending new evidence.
A random number generator does not have universal creativity, because it is not a universal explainer: it can only generate explanations by accident. Universal explainers seek good explanations through conjecture and criticism.
Understanding explanatory knowledge seems like a better criterion
Maybe... but "understanding" is too vague, I think. Doesn't understanding mean: can explain? But then this is just "can create any explanation" again. I think the core question is why a random program generator isn't a person, coming from Deutsch's definition of a person as a program that has explanatory universality -- can create any explanation (my thought here is that this definition isn't good enough on its own, given the random generator point).
"Understanding" isn't just another way of saying "can explain.". Explaining follows from understanding, but isn't synonymous. An RNG could by chance generate a good explanation, but it doesn't understand it, and therefore can't distinguish it from garbage. Understanding involves recognizing that something is a good explanation. It is conscious understanding that makes conjecture and criticism possible. Without it, you have no criticism, only random selection. What do you think of the suggestion that what's lacking from the explanatory universality definition, is an intelligent selection mechanism. A random program can generate any explanation given infinite time, but it will never select which explanation is good.
This is a good point, related to Dirk's #4813. As far as the bounty goes, I think my response in #4823 applies here as well, however. To refine it:
Recognizing, criticizing, and being able to understand explanations could all be requisites for tractably synthesizing any possible explanation. The bounty regards whether the tractability requirement can be done without.
It seems like a mind being able to create, recognize, understand and differentiate (etc.) good explanations are necessary but not sufficient criteria for personhood; if that process is intractable, then beyond a certain amount of current knowledge (considering that as the input to the process), the person effectively cannot continue with it... so that compromises the universality.
They must be able to create, recognize and understand any given explanation, and maintain that ability as their knowledge grows, ad infinitum...
By Tractible, do you mean "efficient relative to fixed task"?
Doesn't it? All explanatory knowledge is in the set of all possible programs, and a random program (or number) generator can generate any of those, given infinite time.
We could say a person is a program that can synthesize any possible explanation in finite time, excluding memory limitations. But this would again grant personhood to RNGs. For that matter, a counting program could just enumerate all possible binary strings up to its memory limit, in finite time...
Creativity isn't defined by its outputs but by its process. RNGs do not recognise or criticise ideas.
Agreed on both counts, but I think the bountied idea survives this...
Recognizing and criticizing ideas could be a requisite for tractably synthesizing any possible explanation (I suspect as much).
Universal explainers seek good explanations…
You sounded persuaded by https://blog.dennishackethal.com/posts/hard-to-vary-or-hardly-usable. As in, you agreed that people don’t seek good/hard-to-vary explanations.
So why still speak of good explanations?
Universal explainers
In the context of how AGI may work – which seems to be what Tyler is mostly interested in – the concept of a universal explainer might not get us very far. Creativity is the more fundamental concept, I think.
A person is a universal explainer, yes, but he could also use his creativity to come up with reasons not to create explanations.
https://blog.dennishackethal.com/posts/explain-irrational-minds
By the latter standard, neither nature nor random number generators are people, which is sensible; nor can nature create any given possible knowledge tractably -- this is true because the fact that all possible knowledge exists is only by way of the multiverse, which is a process that cannot be simulated in its entirety, even by a quantum computer.
This also admits of the distinction between AI and AGI (and "universal creativity") as being whether the system is capable of creating knowledge ex nihilo, as argued by Deutsch. Only universal creativity could create knowledge from nothing. Bounded creativity must start with something.
Moved the criticism of 4694