Learn

Learning preferences

Make learning more comfortable. Changes apply immediately.

Enlarges page content, including diagrams and their labels. You can also use your browser’s zoom.

Choose the colours that are easiest for you to distinguish. Applies to lesson diagrams and lab plots. Labels, shapes, hatching and line patterns also distinguish meanings. Source photographs and raw image brightness stay unchanged; mask-only views are available for image overlays.

ExampleComparisonSample link

Saved in this browser on this device. Preferences are separate from progress backups.

Lesson 11 of 21 in this unit

Build AI Systems · SOURCE LESSON 15

Refine an idea over several passes.

Watch distance information spread through a grid and discover why stable internal states can still be wrong.

By the end: Explain repeated state updates, distinguish programmed recurrence from learned latent reasoning, and use an exact task check as a stopping signal.

Start with the exampleJump to the experimentRead the explanation
Prerequisites and path options

Why learn this? Recognize when repeated computation improves an answer and when it merely settles on a wrong one.

01 · TRY

Start with something concrete.

Tell everyone in a line to pass a message only to their immediate neighbor. One round cannot inform the whole line. Some computations also need several rounds before distant information affects the answer.

Try the interactive model
02 · PREDICT
Before you experiment

A system’s internal numbers stop changing. What does this establish?

A system’s internal numbers stop changing. What does this establish?
03 · EXPERIMENT

Change one thing. Watch what follows.

Loading this browser experiment…

04 · UNDERSTAND
READ & CONNECT

Understand what changed.

Back to the experiment

A shorter explanation, with the original worked examples available below. Both explain the same experiment and its limits.

Same learning goal in both modes: Explain repeated state updates, distinguish programmed recurrence from learned latent reasoning, and use an exact task check as a stopping signal.

The idea in everyday terms

Repeated refinement applies the same update rule to an internal state several times. Each pass can spread information farther through the representation. In this lab, distance information spreads across a grid until the estimates stop changing.

What to watch in the experiment

Inspect successive passes and compare the result with an exact route check. Then remove information the update needs, such as wall boundaries. The numbers may settle down even though they describe the wrong problem.

What this does not establish

Stable means the update no longer changes its own state; it does not mean the state is correct. These are programmed distance updates, not evidence of a trained neural reasoning system.

Open the full worked examples, calculations and limitations

This is the same reference used in Technical mode. Expand it whenever you need the exact numbers, assumptions or further explanation.

Internal computation does not have to be written in words

Neural networks already transform continuous hidden vectors before producing output tokens. A recurrent system applies an update repeatedly to an internal state, potentially giving a difficult problem more sequential computation:

hk+1=Fθ(hk,x)h_{k+1}=F_\theta(h_k,x)

Here x is the problem, h is the current latent state, and the same update operator F is reused. Generating intermediate text is another way to add sequential work, with different constraints and opportunities for inspection. Neither approach guarantees useful reasoning merely by running longer.

A visible example: distance waves

Our grid stores one distance estimate per square. The goal starts at zero; other squares start unknown. For a non-goal square with legal neighbors, the programmed update is:

dk+1(s)=1+min⁡s′∈neighbors(s)dk(s′)d_{k+1}(s)=1+\min_{s'\in\mathrm{neighbors}(s)}d_k(s')

The goal stays at zero. The implementation caps unknown distances at 26 and leaves walls unknown. With at most 25 squares, any simple shortest path uses at most 24 moves, so the cap is larger than any finite shortest distance in this world.

Updates are synchronous: every new value uses the previous pass, not values just written during the current pass. The first pass informs neighbors of the goal. The second can inform squares two moves away. This explains why a distant start needs multiple passes, even though the same rule is reused each time.

The source exercise asks you to write this Bellman-style rule and explain the need for repeated passes. The displayed calculation supplies a concrete answer. It is an exact programmed procedure under its assumptions, not a learned neural update and not evidence that a neural system has discovered the algorithm.

Learning the update is a separate problem

A neural recurrent model must learn an operator that makes useful progress. Backpropagation through time treats repeated uses of the operator as an unrolled computation graph. A final loss can send gradients through those uses, accumulating contributions to the shared parameters.

Long unrolls can require substantial memory and can produce vanishing or exploding gradients. If useful intermediate targets are known, intermediate supervision can guide the process. Outcome-only feedback is more flexible but makes it harder to identify which internal steps helped or hurt. These are training choices, not guarantees of success.

Our lab changes no weights when it runs a pass. A neural experiment would need separate training data, a defined loss, parameter updates, and evaluation against the programmed baseline before making claims about learned reasoning.

Stopping is not the same as being right

Possible stopping rules include a fixed budget, small change in internal state, a learned halting probability, or an external task verifier. Convergence means the update approaches a stable state; it does not establish that the state represents the right world or solution.

Discard the walls and the distance calculation can stabilize for an imaginary open grid. The decoded route may cross a real obstacle. Exact replay rejects that route even though the internal numbers stopped changing. Conversely, an unreachable goal cannot be made reachable by adding passes.

An exact task check is strong evidence of satisfying the checked constraints. It does not by itself prove optimality, efficiency, or transfer to other tasks. Latent reasoning remains a research topic; this demonstration explains mechanisms and failure modes without claiming that repetition produces general intelligence.

05 · APPLY
Check your understanding

The goal has distance 0. A square’s best legal neighbor had distance 3 in the previous pass. What does the unweighted distance update propose?

The goal has distance 0. A square’s best legal neighbor had distance 3 in the previous pass. What does the unweighted distance update propose?
06 · CONTINUE

Take this idea with you.

Repeated computation is useful when the update makes relevant progress. A learned recurrent model must learn such an update; extra iterations and convergence alone do not prove reasoning quality.

My Learning
Explore related topics and the topic map

How this topic connects

Explore this topic on the interactive map

Use these connections to review a foundation or choose where to go next. You can open any topic without completing the others.

What it builds on

  • Algorithms and search

    Choose when to use exact search and recognize the difference between running out of time and proving there is no solution.

  • Backpropagation

    Trace a wrong update to its source so you can debug learning code and distinguish calculating gradients from changing weights.

You are hereRefine an idea over several passes

Watch distance information spread through a grid and discover why stable internal states can still be wrong.

What it enables