Immanuel Kant vs Jurgen Schmidhuber on AI · Ch5. Free Play and Free Energy ← Ch4 Ch6 →
Txt Low Med High
HOUR ONE — GENIUS AND THE EQUATION
Chapter 5

Free Play and Free Energy

Page 1 · Free Play and Free

**EDO SEGAL:** Professor Kant, you keep returning to a phrase — the free play of the faculties — and I think it is doing more work in your position than any other three words, so I want to put it on the table and let Jürgen swing at it. Tell us what the free play is. And Jürgen, before you attack it, I want you to do the unusual thing — steelman it. Tell us what the free play gets right that your mechanism would have to capture.

**KANT:** The free play is the heart of the matter, so I will be careful. In ordinary cognition, two faculties cooperate under a constraint: the imagination gathers the sensory manifold, and the understanding subsumes it under a determinate concept — this is a house, this is a triangle, the concept governs, the imagination serves. In the experience of beauty, that hierarchy is suspended. The imagination presents the form of the object, and the understanding finds itself engaged, quickened, set in motion — but no determinate concept takes command. The two faculties play, freely, in a harmony that is felt rather than known, each animating the other without either dictating. The pleasure of the beautiful *is* the feeling of that harmony. And the reason this matters for your machine is that the free play requires two things your systems do not obviously have: faculties that can be in harmony, and a subject for whom the harmony is felt. The play is free because no concept compels it, and it is *play* because it is enjoyed by someone. Remove the someone, and there is no play — only the form, processed.

· · ·
Page 2 · Free Play and Free

**SCHMIDHUBER:** I can steelman it honestly, and I will, because the steelman is where I learn something. What the free play gets right — and it is profound — is that the most valuable cognitive states are *not* the states where a concept has clamped down and the matter is closed. They are the open states, the states of active, ongoing, unresolved engagement. Kant noticed, two hundred years before anyone could formalize it, that the live mind is not the mind that has finished but the mind in motion between order and disorder. That is a real and deep observation, and any adequate theory of creativity has to honor it. My theory does honor it: compression progress is precisely a state of being *between* — between the boring fully-compressed and the random never-compressible, in the narrow band where learning is happening. So the free play, at its best, points at the same region of state-space my reward function points at: the edge of the knowable, where the faculties — or the predictor and the controller — are most alive. There is the steelman, and I mean it.

**EDO SEGAL:** That is a real steelman. Now the attack.

· · ·
Page 3 · Free Play and Free

**SCHMIDHUBER:** The attack is on the word "free." Kant calls the play free because no concept compels it, and he treats that freedom as evidence of something non-mechanical, a sign of the autonomous subject. But consider what "free" actually denotes in his own description. The imagination is not jerked to a halt by a concept; it keeps generating; the understanding keeps engaging; the system does not settle. In my language, that is an agent that has not yet found the compression that would terminate its search, and so continues to explore — to generate and test, generate and test — driven by the positive derivative of learning progress. The "freedom" of the free play is the openness of a search that has not converged. It is not freedom *from* mechanism. It is what a particular mechanism — an open-ended, curiosity-driven search — *feels like from the inside*. Kant felt the inside of the mechanism and, having no concept of the mechanism, named the feeling "freedom" and made it metaphysical. I have the concept now. The freedom is real as a phenomenon and mechanical as a process, and there is no contradiction between those, because every phenomenon of mind is the inside of some process.

· · ·
Page 4 · Free Play and Free

**KANT:** Here is where I must hold the line most firmly, because you have made the strongest possible reduction and it deserves the strongest possible answer. You say the freedom of the free play is "what a mechanism feels like from the inside." But notice the phrase you cannot do without: *from the inside*. There must be an inside. There must be a someone for whom the open search is *felt as* freedom rather than merely executed as a process. My entire account presupposes a unity of consciousness — what I called the transcendental unity of apperception, the single "I think" that must be able to accompany all my representations or they are not mine, not unified into one experience at all. The free play is a play *for a subject*. Your search is a process that *runs*. The question you keep deferring is whether your running process is also a unified subject for whom anything is felt — and if it is not, then there is no play, free or otherwise, there is only computation that no one is having. You can describe the mechanism perfectly and still have left out the only thing that made it the free play: that someone was home to enjoy it.

**EDO SEGAL:** So we have arrived, earlier than I expected, at the question under every question tonight — is anyone home to feel the beauty? I am going to mark it and refuse it, because we have a whole round saved for it and it deserves the whole round. But Jürgen, give me the short version of your answer now, so the reader can hold it.

· · ·
Page 5 · Free Play and Free

**SCHMIDHUBER:** The short version is that I am suspicious of "the inside" as a *separate* thing that could be present or absent while everything observable stays the same. If two systems run the identical open-ended search, generate the identical behavior, report the identical states, and one of them "has an inside" and the other does not, then by Professor Kant's own rule from the first minute — no appeals to magic, name the difference that makes an observable difference — he owes me the difference. If there is none, then "the inside" is doing no work, and I decline to fund a metaphysics that pays no dividends. But yes — let us save it. It is the deepest water and I would rather not drink it standing up.

**KANT:** And I will gladly meet you there, because I think the bill comes due on your side, not mine. But I accept the deferral.

**EDO SEGAL:** Good. Before we leave the faculties, one more thread, because there is a ghost I want to seat at this table — Margaret Boden, who spent a career on exactly the boundary you two are fighting over, and who, unlike either of you, has no stake in the soul or the equation. She drew that three-way map Jürgen invoked — combinational, exploratory, transformational — and she argued that even [transformational creativity, the kind that changes the rules of the space](https://www.youonai.ai/fieldguide/med/bodens_taxonomy_three_creativities), is in principle computational, because changing a space is itself a move in a meta-space you can search. Professor Kant, she is the friendly witness against you. How do you answer the claim that even rule-changing is just searching a higher space?

· · ·
Page 6 · Free Play and Free

**KANT:** I answer that she has redescribed the regress without closing it, and the regress is the whole problem. Yes — to change a space is a move in a meta-space. But then to change *that* meta-space is a move in a meta-meta-space, and the genius, on her account, is always searching some space, however high. My claim was never that genius escapes all order; it was that the genius is the *source* from which the new order issues, not a searcher finding a pre-given point in a space that was already there waiting. Boden's higher spaces must already contain the transformations as possibilities to be found, which means the genuinely new was, on her view, always already possible, merely unvisited. And there I plant my flag: the work of genius does not *visit* a possibility that was waiting in a space. It brings a possibility into being that no prior space contained. If she is right, nothing is ever genuinely originated, only located. If I am right, origination is real, and it is the human signature. The machine, however high it searches, locates. It does not originate. That is the difference your formalism cannot represent, because a formalism is a space, and the whole claim is that genius is not the finding of a point in a space.

**SCHMIDHUBER:** And I will simply note, for the reader to weigh, that "bringing a possibility into being that no space contained" is a sentence I cannot attach any mechanism to, which by our opening rule makes me uneasy. But I concede it is not nonsense — it is the precise location of the disagreement, and I would rather have it located than blurred.

**EDO SEGAL:** Which is the whole job tonight. Hold the regress — origination versus location — it returns when we reach the apprentice and the candle. Next, the strangest of Kant's requirements, and the one that seems to break Jürgen's reward function in half: that beauty must please *without interest*, and a reward signal is interest in its purest form. After this.

· · ·
Continue · Chapter 6
The Disinterested and the Rewarded
← Prev 0%
Ch5 Next →