← Prequel and all ten episodes

Being and Becoming · Episode 10 of 10 · 4:15

What have these models explained—and what remains open?

Which claims have support, and which still need a test?

Keyboard: focus the player, then Space or K to play/pause and arrow keys to seek. Tab moves through the controls. Selectable captions replace the video's caption strip with the same timed text below.

In this episode

  1. 0:00 · From Being and Becoming to evidence
  2. 0:32 · Open the ledger with claims already encountered
  3. 0:56 · What the four-state example establishes
  4. 1:27 · What the probability and pilot examples establish
  5. 2:03 · Specify a test of a new correspondence
  6. 2:41 · Novelty and review are separate questions
  7. 3:07 · Check the level of a claim
  8. 3:40 · Close the core route

Complete transcript

This transcript includes the answers to prediction prompts.

Show transcript

From Being and Becoming to evidence · 0:00

In this series, Being is the system's state now. Becoming is how that state changes. We have used models to describe both. Before trusting a model's explanation or prediction about a real system, we need to ask what has actually been established. A correct calculation alone does not show that the model fits the world. Use this final episode to separate assumptions, derived results and empirical evidence. Keep asking: which claims still need a test?

Open the ledger with claims already encountered · 0:32

We have used several kinds of statements. We specified small models, derived consequences, checked calculations and examined a reported finite-model comparison. A proposed application to a person or another machine adds a correspondence claim. Evidence that supports one of these statements does not automatically establish all the others.

What the four-state example establishes · 0:56

In M0, u and v have different after-PULSE outputs. For w and z, either no RESET occurs or the first RESET brings both cases to u. That argument supports agreement for every finite sequence of the supplied buttons. Local partition and path checks corroborated the calculation. Testing a finite selection of paths alone would not justify every future sequence, and none of these checks observed a biological mind.

What the probability and pilot examples establish · 1:27

The noisy-reader model M1’s updated probabilities followed from a supplied prior, sensor likelihoods and independence assumptions. We did not measure that reader in a laboratory. R4 used inherited finite-benchmark evidence; its film reports model-average failures and limited policy comparisons. These examples can explain mechanisms and bounded results. They do not by themselves validate a general theory of cognition or show that a self-model label improves an architecture.

Specify a test of a new correspondence · 2:03

Suppose we propose that a representation predicts which differences a particular observer can use. First specify what the states and observations represent in that system. Declare the task, available information and measured outcome. Compare a relevant alternative under matched access and any resource constraints the claim requires. Keep some cases out of model development, and state what result would count against the claim. This is a proposal for evaluation, not a study conducted by this playlist.

Novelty and review are separate questions · 2:41

A valid derivation, a correct implementation and a useful prediction answer different questions from what is new and what review a claim has received. A local AI check is not external peer review. A source page or an attractive video is not an independent replication. Record the actual provenance and review status rather than inferring them from presentation quality.

Check the level of a claim · 3:07

Classify this statement: our program reproduced the stated posterior calculation. Does it establish the sensor’s accuracy in a real robot? No. It supports that calculation under the supplied model. The reader’s real accuracy would require relevant measurements. Likewise, successful task prediction does not by itself establish subjective experience; that is a further claim, not another name for the prediction score.

Close the core route · 3:40

Being and Becoming now gives us a set of precise questions. What is the state, and how is it described? What can be observed, and which distinctions matter for a task? Which experiments can obtain them? How do actions change the state, and how does a model keep up? We have worked bounded examples and marked the next empirical questions. Use the optional branches when a specific problem calls for their mathematics, and keep each further claim as explicit as the examples here.