Tyler Mills

Assumption A1: Only programs that are people while running constitute qualia/experience/subjectivity/consciousness.

(4) The programs rendering the apple are not people, so cannot themselves constitute experience.

(3) The programs rendering the apple imagery must be looping until stopped, since they could not have advance knowledge of when the stimulus stops.

(2) The rendering is caused by the running of some number of programs.

Can a program which is not a person constitute an experience?

Imagine you are in a pitch black room. Before your eyes, a spotlight illuminates an apple for 5 seconds before darkness returns. Among other things, your mind will render the image of the apple for the 5 seconds, then it will not (afterimages aside). Assume the physical stimulus is identical for the whole 5 seconds.

Itemized discussion below.

(1) During the entire 5 seconds, your mind renders the image of the apple.

Criticized per #4718: AIs are not "narrowly creative"; there is only creativity in the binary, universal sense, per Deutsch.

The definition of fitness that rendered Move 37 the best choice originated outside the system.

This highlights the core mystery of AGI/creativity: if it is the creation of something which cannot be deduced from existing rules (yet is still helpful, hard-to-vary, knowledge-bearing, etc.), how can it be programmed? In a sense it cannot, as Deutsch writes: "...what distinguishes human brains from all other physical systems is qualitatively different from all other functionalities, and cannot be specified in the way that all other attributes of computer programs can be. It cannot be programmed by any of the techniques that suffice for writing any other type of program." [https://aeon.co/essays/how-close-are-we-to-creating-artificial-intelligence]

If the human made Move 37 for the same reason as AlphaGo, it would not be creative. Such moves are creative when humans make them because they are not deducing them (they can't due to practical limitations). If something can be deduced, it is not creative. Creativity is the conjecture of a new structure which is not derivable/deducible/implicit via existing rules of inference. All AI-generated art is implicit in the training data and model design in the same sense, so is not being made via creativity.

If there had been no AlphaGo and no Move 37, and a human had made that move, as they have similar moves, it would no doubt be called creative genius (as similar moves have). Isn't the above a double standard?

Move 37 was not new knowledge. It was the winning choice in that situation before the AI ever existed, because it was deducible from the game's rules and the current board state. It was implicit knowledge, already contained in the system at that time. AlphaGo made it explicit, by finding it, like a search engine, but did not create it. If you calculate the trillionth digit of pi, you haven't created new knowledge, at least not in any sense we should mean. You have simply revealed a value that was already fixed by a definition.

The fact that Move 37 wasn't explicitly in the training data or the programmers is irrelevant to its status as knowledge. This is true for pi, and for all content created by AI at the time of this writing.

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, never mind tractability.

By this standard, a random number generator has universal creativity as well, and is therefore a person. So there must be standard for personhood other than: able to generate any possible explanation. Such as: can do that tractably.

Nature does have universal creativity; it can generate any possible knowledge. And all possible knowledge exists somewhere in reality.

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.

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.

I keep returning to the notion of the space or domain in which simulated evolution so far operates in. It seems like we can say that current sim'd evolution can discover new knowledge via conjecture and criticism, but it is always bound by a domain predefined by fitness functions, automatic evaluators and so on, even if that domain itself contains many subdomains.

Then we can say that in nature, and in the minds of people, there is no externally defined space in which exploration is happening; the space is also evolving, also subject to criticism. I suspect this is part of how open-endedness comes about.

But the immediate question here was how to explain why AI is or is not "creative". Saying AIs are "narrowly creative" seems it could work, or saying they are creative within a fixed domain. The common intuition I think is that current AIs are "truly" creative, and I would say this is because the predefined domain (of LLMs, for instance) is gigantic, being sculpted by an internet-sized training corpus. But I suppose we should argue that "true creativity" means universal creativity.

I was curious if there are criticisms of the argument that current AI does legitimately create new knowledge.

Move 37 was not explicitly present in the training data, nor designed by the programmers, and is extremely hard to vary (Deutsch's criterion for good explanations). Was the move present implicitly in the design of the system and/or the training data? Or inexplicitly? Does either of these mean the discovery of the move was non-creative?

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.

Recent conversations have revealed that I cannot argue against the notion that current AI systems create new knowledge (and so are creative in some domain). Yet, David Deutsch has argued that creativity is a binary property of programs, and those that have it are people (including AGIs), who can create all possible explanatory knowledge. I am not of the mind that current AI is AGI. So I will try to iron all this out, here.

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.

Of course it's true that a system confined to a given abstraction will only evolve theories of that scale. But a person can operate at all computable levels of abstraction. The growth of knowledge by people (e.g. Relativity) would only have happened if people can vary their abstractions arbitrarily, because Relativity solves no problems at any one given level of abstraction, but across many. Observer Theory might be right for certain systems, but is wrong for people.

Computational Universality only implies that all computable programs can be run by UCs. But what is relevant here is what programs can be reached by a given program -- synthesized by it. A UC with knowledge that only contains objectively whirlpool-scale conjectures (resulting from external stimulus or not) will not have niches relating to molecule-scale theories. Such theories solve no problems for it. So there will be no selection for those theories, so evolution will not develop them. Molecule-scale theories constitute intractable niches for the whirlpool system. They are still possible to run, if present, but that is not what's at issue. Observer Theory is correct if it is saying that the theories of reality developed by systems will depend on the abstraction level of their knowledge with respect to reality.