Across the track: Which intelligence
Questions whose answers draw on more than one essay. Attempt each group after the last essay of its stage.
What discovery consists of
Questions whose answers draw on both essays of the stage. Attempt them after The Operations of Discovery.
One list, two questions
Both essays list the same four operations. What does each essay ask about them, and what does each answer?
Answer
Poetry as a Mode of Thinking asks which operations are representational, and so available to an LLM. Its answer: forced adjacency and compression are available, thinking in negative space is in question, and register collision can be produced while the disruption that makes it productive is uncertain (the LLM question). The Operations of Discovery asks whether performing the operations is enough for discovery. Its answer: they are necessary but not sufficient, and what makes them productive is evidential weight (the evidential weight). The second essay finds its question inside poetry too. A virtuoso poem deploys the operations with no lived problem behind it and yields admiration, not knowledge.
What is absent, twice
Each essay grants an LLM the operations and names something it lacks. Name the lack in each essay, and compare how each is argued.
Answer
The first essay names what grounds thinking in reality: homeostatic feedback loops, perceptual contact with the world, embodied stakes. With these goes the poem as vehicle, its sound, rhythm and breath (attunement and the age of AI). The argument comes from the series’ framework, on which LLMs have understanding and lack acquaintance. The second essay names evidential weight: “a life in which the problems are real, the stakes are felt, and the history of engagement with the territory is genuinely one’s own” (what the transition feels like). The argument comes from the reports of Tao, Karpathy and the Rate Limited hosts. Both essays place the lack outside the operations, in stakes. The second adds persistence: each AI session starts fresh, and depth needs temporal coherence.
Negative space
Compare the two essays’ verdicts on whether an LLM can think in negative space.
Answer
The first essay calls the operation harder than forced adjacency. Training optimizes for producing content, and the operation may need a restraint that is architectural: “knowing where to stop is different from knowing what to say.” The second essay gives the operation a scientific instance, Tao’s “not adding more theories, but deleting some assumptions.” Its closing section then concedes that AI can “even think in something like negative space”. The second verdict is the more permissive one, hedged by “something like”. The essay does not say what moved it.
Fake thinking and slop
Carlsmith’s “fake thinking” and Tao’s “slop” name related failures. State each. How does each essay apply the worry to its own writing, and what does each offer against it?
Answer
Fake thinking has the form of cognition without the function of tracking reality. Slop, in the deep variety the second essay means, is output that is internally coherent, formally sophisticated, and shaped by optimization pressures that are not truth-tracking. Both essays name the same risk in writing with an LLM: it builds a plausible possible world around whatever the user seems to want. The first essay answers with its practice: ideas tested against each other across articles, the human’s corrections of the LLM within the essay, and transparency about the process. The second answers with a criterion. The judgment that a result is real rests on having a problem that is one’s own and on willingness to hold results lightly.
The September 2026 series
Questions whose answers draw on more than one essay. Attempt them after the last essay of the stage.
Which system?
“Which AGI?” separates a running model from the deployment built around it. Each later essay but one applies the distinction to a subject of its own. Give the four applications.
Answer
- What Must Be True?: the research on joint abduction was done by an arrangement of a human choice of problem, existing research, several model instances, executable checks and review. Those capacities belong to the arrangement, not to an isolated model (section).
- Which World Model?: the efficacy of a whole deployment does not locate its intelligence in one component. A fixed-size network asked to answer immediately and a deployment allowed to run an algorithm are different computational systems, so a claim about computational limits must say which is meant.
- What Persists When the Agents Change?: the relevant system is a capable interpreter working with records, tools, tests, local memories and other participants. An inquiry can depend on that organization and survive the replacement of any one running process (section).
- Where Does Seeing Become Thinking?: the loop runs through action and renewed sensory input. A deployment that can mark, crop, draw and calculate has operations unavailable to a model required to answer immediately, and their contribution should be measured (section).
Having and using
Which World Model? separates possessing a representation from using it dependably. How do the two essays that cite the distinction extend it?
Answer
Which World Model? separates representing structure, tracking the situation, predicting, using and maintaining. Its Manhattan case shows a real map beside a real failure of navigation. What Persists applies the same discipline to a research trajectory: possessing a record, finding the relevant part, interpreting it, deciding whether to trust it, and using it are different jobs. It extends the distinction again to traditions: hosting two perspectives in shared machinery does not guarantee judging well between them (section). Where Does Seeing Become Thinking? asks what using a representation requires. Recoverable information is an informational possibility, and a learned operation makes it available at a cost and reliability (section). Decoding a variable, intervening on it and explaining the transformation are three levels of evidence.
Compiled and interpreted
The compiled/interpreted distinction is introduced in “Which AGI?”. How do the next two essays that cite it use it, and what instance does a third supply?
Answer
“Which AGI?” contrasts a skill followed as written instructions with one consolidated into fluent, composable competence, and predicts linear context cost, brittleness under composition and no tacit knowledge (section). Which World Model? uses it to locate the remaining work in continual learning: an interpreted record preserves a lesson and leaves the agent to work out its application each time. What Persists treats it as a difference in the cost and manner of using knowledge. The division runs through a system and not between systems, as when a trained reranker selects among explicit records, and different parts of one lesson can persist in different forms (section). What Should a Program Inherit? gives an instance: an executable artifact changes the next attempt’s starting point without being absorbed into the parameters of the proposing model (section).
What the series takes back
Two later essays return to claims made in “Which AGI?”. Which claim does Which World Model? defend? Which three does What Persists correct or weaken, and what does it keep?
Answer
Which World Model? defends the inventory’s entry that puts a structured world model among the roles filled inside the network. It adds what filling the role leaves unresolved: maintaining the model and using it reliably. What Persists makes three revisions.
- The sentence that a consensus front “can carry only what is consistent across the population” is corrected: a shared model can support incompatible perspectives.
- The conjectured advantage of insulated training no longer carries the argument for individually compiled trajectories. The conjecture stays an untested empirical question.
- The inference from rereading costs to a fixed ceiling on interpreted memory “was too quick”: retrieval, summaries, executable artifacts and a changed environment loosen it.
It keeps the distinction between role coverage and learning profile. The concern about correlated failure survives as an evaluation question (section).
One pattern, three uses
The pattern \operatorname{pair}(p,p), the most specific generalization of \operatorname{pair}(a,a) and \operatorname{pair}(b,b), appears in two essays. What does the repeated hole do in each of its three uses?
Answer
In What Must Be True? the repeated hole is the point.
Generalizing one successful example per case as specifically as possible
keeps the agreements a joint answer needs, and this reformulates the
existence of an answer (section).
In What Should a Program Inherit? the same hole is an obstacle
to recombination. It allows 2 offspring
where the linear pattern \operatorname{pair}(p,q) allows 4, which is why the 2002 draft required
linear schemata (section).
Installed as a function, duplicate(p), the dependency
becomes a reusable operation, and it hides a choice that later variation
may need (section).
One mathematical object answers three questions differently: what it
says about its instances, what it saves, and what variations it makes
available.
The order nature took
Carrier and Dai each argue from the order in which capacities arose in nature. State each argument and the reply. Which companion point about objectives and traces do the same two essays make?
Answer
Carrier holds that a pathway from modeling one’s surroundings and body up to a narrative self is the only way to real AI. Which World Model? replies that the biological order shows one successful route, and that uniqueness needs a further argument: a machine trained on the products of human culture starts with information the first organisms had to acquire otherwise. Dai holds that reasoning is fundamentally visual and that visual reasoning should be the foundation for linguistic reasoning. Where Does Seeing Become Thinking? replies that the evolutionary priority of vision does not establish a necessary engineering order (section). The companion point: “next-token predictor” names an objective and an output interface and not the computations learned, and a textual reasoning trace does not show that every computation behind it has a linguistic format. The later essay says these are the distinctions that made the world-model debate tractable.