
The Shape of Inference
Watch the film 18 seconds
In 1964, two radio astronomers in Holmdel, New Jersey, were losing a war with pigeons.
Arno Penzias and Robert Wilson had inherited a giant horn antenna - basically a fifty-foot ear - and everywhere they pointed it, the ear picked up a loud hiss. So they did what any good experimentalists would do: they started debugging.
They taped over the riveted seams. They checked all the cables (again). They reoriented the antenna. Nothing.
Then they noticed the pigeons.
A pair of pigeons had moved into the antenna and coated it in what Penzias would later describe as âa white dielectric materialâ (pigeon poop). This seemed promising! They trapped the pigeons, drove them off, scrubbed the horn, and turned the antenna back on.
The noise persisted. And the pigeons came backâŠ
What eventually resolved the problem was a phone call: a colleague mentioned offhandedly that a group at Princeton had been building a detector for a faint microwave glow predicted to be left over from the early universe.
Fourteen years later, Penzias and Wilson were in Stockholm accepting the Nobel Prize.
The hiss turned out to be the cosmic microwave background - the first direct evidence of the Big Bang.
I think a lot about this story. On the day of that phone call, Penzias and Wilson collected zero new measurements.
And yet, the investigation had undergone a metamorphosis. Their goal had inverted: before, it was to eliminate the hiss. After, it was to characterize what they now considered a possible signal. Suddenly, every logbook entry that documented a failure became evidence for a new goal.
How can a machine do that?
Todayâs AI can remember more evidence, search through more possibilities, reflect longer, and modify parts of itself while it works. But it runs into the same core problem:
What happens when something you learn now should ripple backward, change what the past means, and open entirely new paths forward?
Or more precisely, how do machines achieve the omnidirectional style of thinking humans do?
Co-construction.
I think the clearest way to motivate this problem is by illustrating the process of writing an essay.
You start an essay with some vague idea of what you want to say. You write an introduction, make an argument, and follow it for a few paragraphs.
Halfway through, you write a sentence and take a step back.
You think: perhaps this sentence more accurately captures what Iâm trying to say in this essay.
Suddenly, the introduction you wrote ten minutes ago is wrong.
A paragraph that seemed important becomes extraneous. Furthermore, because your understanding of the argument has changed, entirely new directions open up for what you can now write.
Note: During this process, your thought traveled backward through the text, changing the weight, emphasis, and meaning of what came before. Suddenly a previous stumble looks like the first gesture towards a new idea. In reinterpreting the past, the thought also reorganized the space of possible futures.
I find it useful to picture this as layers of blocks connected by springs, pulling and pushing on each other. Some blocks represent the thesis of the essay, others the structure, paragraphs, or individual sentences.
This process is the shape of most interesting research and creation. You begin with a hypothesis about what matters, try something, learn from that, then realize your original question, assumptions, and definition of success might have been partly or entirely wrong. I love writing as a motivating example here because I think everyone has felt this when writing - you start writing an essay and through the process, you flesh out your ideas and construct how you say them. The same idea shows up across creative work more broadly: designers co-evolve the problem and solution as they work (Dorst & Cross, 2001), and scientists seesaw between hypotheses and experiments (Klahr & Dunbar, 1988). Alzheimerâs disease, the origin of life, high-temperature superconductivity, etc. - all research problems that have evolved alongside the search for an answer.
Sidenote: this is by no means meant to underrate research with a fixed target. Problems with reliable verifiers, like many areas of math and coding, are an incredibly strong use case for todayâs models.
In other words, the answer and the problem are co-constructed.
Omnidirectional inference.
This is exactly where todayâs models run into an architectural problem.
To motivate this problem, it helps to understand about sixty seconds of transformer internals (the model architecture that powers most of modern-day AI). Please note, there are many more wonderful, in-depth explanations elsewhere - this is just whatâs required for this essay.
Say the LLM is processing this sentence:
The cat sat on the __
and weâre trying to predict the next token (in this case, letâs say âmatâ).
Inside a transformer, every token has a working representation that gets updated as it passes through the model. This running representation is called the residual stream. You can think of it as what that token currently means to the model.
In a standard causal transformer, each new token incorporates information from the tokens that came before it to build its own.
Take sat.
The model can use information from cat to understand that sat is something the cat is doing. So the representation of sat becomes richer than the word alone.
By the time it reaches the final the in:
The cat sat on the __
it can use everything before it to predict that mat is a plausible next word.
The important part is the direction of this inference The process a trained model goes through to produce an answer.: the past helps construct the present. This method of inference is called autoregression (generating each next token based on the tokens that came before it).
This gives autoregression a critical computational advantage: past representations freeze once computed. We can cache them, focus computation on the current token, and fetch exactly what we need in parallel because we know how weâll be using those past representations. In other words, the blocks of the essay stay fixed.
Now, letâs imagine a scenario more akin to how we write an essay: instead of fixing the blocks, we treat every token as a block connected to every other block by a spring. If one block moves, that changes the force exerted on the other blocks, and this force ripples.
With blocks, there are roughly relationships to check.
Now letâs say we add a token. It may pull on an older block, which in turn changes other blocks, and so on.
Then add another token and do it again.
If the sequence grows to tokens, we have roughly:
work.
This is the broad intuition behind why omnidirectional (in all directions) inference is so computationally expensive. I first heard this concept on a podcast with Adam Marblestone. It was a fantastic podcast and really pivotal to me in my journey - highly recommend listening!
Autoregression only has to build the next representation from the past. Our proposed spring system has to reopen old representations, update them, and then propagate those changes through everything connected to them. This ability matters a lot! Think back to our writing example: a new realization changes what earlier thoughts mean, which changes what becomes important, which opens up new paths forward.
is computationally infeasible. For example, if a session uses 100,000 tokens, our naive dense spring system would require roughly
pairwise relationship updates.
Of course, is a maximal upper bound. Omnidirectional doesnât mean everything has to update at all times, only that past representations can update, and that those updates can in turn create new future paths. Most new observations disturb very little â an observation you made about cereal doesnât need to change all of your representations of the past.
So machine learning took a different route.
How much more capable can we make a model while keeping inference mostly forward-moving?
More room to think.
I think there are three approaches that have historically built on each other to improve capability while moving solely forward: giving the model a scratchpad, letting it refine its internal representations, and organizing its work across multiple attempts.
1. Chain-of-thought reasoning
The first major improvement machine learning researchers made to these autoregressive models was implementing chain-of-thought reasoning (CoT). Instead of forcing the model to go directly from a problem to an answer, we train the model on reasoning traces. Originally, we prompted LLMs to generate these reasoning traces, but in 2022 we started actually training on the reasoning traces themselves.
Example:
Instead of training a model to learn: What is 17 times 24? 408
We train it to learn: What is 17 times 24? 17 times 20 is 340. 17 times 4 is 68. 340 plus 68 is 408. Answer: 408.
The training objective is still just predicting the next token. And yet, it consistently outperforms non-reasoning models. The reason?
Remember the cat and sat tokens from the explanation of transformers. The representation of sat became richer because it could use information from cat. Put differently, each reasoning step (like â17 times 4 is 68â) adds new information to the context, which allows later tokens to form richer representations in the residual stream (look at the visual above for a refresher).
Essentially, CoT gives an autoregressive model a scratchpad: you compute something, write it down, then let the next representation build on what was written.
Note: the direction of inference is still forward, and this still doesnât fully solve our spring problem. Think back to writing the essay: with CoT, if you realize halfway through that youâve misunderstood the idea you started with, you can write a correction into that residual stream and continue from there. However, the earlier interpretation itself stays fixed.
With the advent and success of CoT, a natural follow-up surfaced: as the model works through its scratchpad, could we give it more opportunities to refine the representations in its residual stream before producing each next token?
2. Looped reasoning models
This brings us to looped reasoning models, which is what most modern LLMs are converging on today.
The idea behind this augmentation plays once again on enhancing the residual stream. Normally, each previous token contributes its representation once as the residual stream builds toward the next token. With loops, those representations are passed through the transformer again, giving the model another chance to refine what the stream encodes before producing the next token.
So instead of sat getting one chance to incorporate information from cat, it gets another pass to notice relationships it missed the first time.
This should feel like chain-of-thought reasoning but with more loops - once again, the earlier interpretations remain fixed.
While CoT and looped reasoning give you a more potent residual stream, they leave us with a basic limitation: the model has no persistent workspace to preserve memory or explore another path with a fresh context (no âtaintedâ residual stream). This brings us to the agentic harness, which in many ways is our latest approach to externalizing a higher-level form of cognition. When you solve a problem you arenât just thinking, youâre also managing your own thinking: deciding what to try, when to stop, what to check, etc.
3. Agentic harnesses An agent is an LLM running in a loop where it decides what next action to do, observes what happened, and continues until it accomplishes (or at least tries to) a task you give it.
An agentic harness is everything wrapped around the model that decides what it sees and what happens next. The harness can give the model memory, let it use tools (like searching the web), wield subagents for multiple fresh paths, etc. On top of these new looped reasoning models, the industry is focusing largely on better harnesses.
Earlier this year I went to an event hosted by Hexo Labs where they demoed a harness called SIA. Instead of one prompt and one answer, SIA runs a loop: it tries things, gathers feedback, rewrites its own harness, and even updates its own weights mid-task. The mood in the room was what I can only describe as giddy: What will this system NOT be able to do?!
SIA is a useful example because itâs the maximal version of a direction every AI lab is exploring. The modern agentic harness has roughly three layers:
Layer 1: Memory and reflection. A model no longer has to fit everything into one context window. It can save observations and lessons in an external store, then retrieve them later.
Layer 2: Search. Instead of one serial thread, an âorchestrator agentâ can spawn subagents (like a senior person hiring a bunch of junior people) with fresh contexts. In this process, we can have another agent evaluate the branches that these subagents take, kill bad ones, and back up to earlier checkpoints.
Layer 3: Self-modification. This is the most powerful layer, and the most analogous to human research: the model changes while it searches. We let experience from one attempt modify how it approaches the next. This update might happen through a small set of weights, like LoRA, or through newer methods like Self-Distillation Policy Optimization (SDPO), where the model learns directly from its own attempts and feedback. This is called test-time training, or test-time learning. LoRA works by changing a small set of additional weights. SDPO works by letting a model get feedback on an attempt, then using that feedback to teach the earlier version of itself which decisions helped and which hurt. Like a parent telling a child: âI made this mistake when I was your age, donât make the same mistake.â
This gets us close to what Iâm looking for. Imagine writing that essay (or maybe you donât need to imagine) with a whole team of editors. Each editor is a powerful looped reasoning model like Claude Mythos or GPT Astra.
One can reread paragraph two, another can resurface an old memory, another can rewrite the opening, and an orchestrator agent can compare the drafts and decide what everyone should work on next.
This embodies the capacity of SIA. It remembers, forks, retrains itself, and can rewrite its own evaluator.
On paper, this feels like it should be enough.
So why isnât it?
Sidenote: There is another kind of model architecture, called diffusion, which offers a different approach. Instead of generating tokens from left to right, diffusion models start with an incomplete sentence and gradually refine it over steps. So for example, it might start with something like âShe [MASK] the [MASK] because she [MASK],â then fill in âShe missed the train because she was late,â and then keep refining that. New approaches like latent diffusion also do this for the representations of those tokens. However, the refinement works solely on the latest representations and tokens. When we refine, the old interpretation is always replaced by a new one. Furthermore, the rule used to make those refinements is learned during model training and is largely fixed at inference time.
Passing notes.
Observationally, even maximal self-improving harnesses like SIA or Prime-Agent fail to produce genuinely novel results autonomously. From Prime Intellectâs post on measuring autonomous research: âWe were again surprised by the lack of novelty. The models clearly understand the objects they manipulate at a deep level, and yet very few genuinely new ideas emerge.â In the search process, even while learning, the harnesses tend to remain parochial - concentrating in local neighborhoods of idea space rather than expanding outward. This, I think, is really key - if the harness were the missing piece, you would think that novelty should scale with harness advancement: more memory, more branching and sophisticated searching, more self-modification should open new regions of idea space.
There are two reasons why this approach isnât generating the results we might expect:
1. Continually learning what to âattendâ to. Iâve argued this at length in my last essay: a modelâs understanding of relevance is largely fixed at training time due to its fixed weights. While approaches like test-time training can update small parts of the model during inference, we still donât have a good way of accessing and updating different regions of the model as new evidence arrives in a cost- and time-efficient manner.
2. The problem of passing notes.
Imagine you have a collection of agents writing an essay. One agent gets to paragraph three and realizes that what itâs just written changes what the essayâs intro should say, and more generally the structure of the essay.
It can send that insight to another agent through a message. However, it canât send the entire dependency structure that made the insight important: the tone, hidden assumptions, and how every paragraph should now feel. The next agent has to reconstitute why the change matters and, more importantly, every little relationship that change now modifies.
This is usually fine when the correction is simple (e.g., change the spelling of a word or something). That said, novel reasoning often involves a cascade of small dependencies changing at once. A sentence becoming less important might change the framing of a paragraph, which changes what evidence matters, which changes how an earlier claim should be interpreted.
This is the constitutive limitation of autoregressive systems: these consequences donât propagate automatically. Earlier states are fixed, so every downstream consequence has to be noticed again, represented again, passed forward again, and so on. Chain-of-thought and looped reasoning (mentioned above) can get you far here, but ultimately they still work around the same underlying constraint.
With springs, you change something in a system and those changes propagate until the whole thing settles into a new configuration. This is much closer to how our brain works and how we do omnidirectional inference.
Sidenote: there are also other problems with systems powered by autoregressive inference, such as hallucination snowballing: an early mistake can lead a model to generate further false claims to justify it, even when it can recognize those claims as wrong in isolation.
Settling.
Imagine these springs pushing and pulling until they reach a stable configuration. We can call this process settling.
Future models will rely much more on this kind of computation. Rather than producing one state and moving forward, they will maintain a persistent state whose parts can keep exerting force on one another, then decode that state into an output.
This brings me to my HAWF (Hierarchical Associative Wave Field) architecture. I explain it more rigorously in my previous blog, but the core idea is that we have an associative energy landscape that is a persistent object. New evidence pushes on some areas of the system, which in turn ripple out and affect other areas. The system relaxing in response to change IS the computation. Furthermore, different timescales handle different kinds of change: fast local settling for active problems, slower and deeper consolidation for memory, and slower still for core structural learning.
There are two key research problems here:
First, what forces should act on the springs? More precisely, what loss functions should we use? If concepts are blocks connected via springs, how do we decide which forces determine the relationships the system tries to preserve, and how much a change in one block ripples through the rest of the system?
Second, how easily should the structure move? More precisely, how far from equilibrium should the system remain? If every spring is too loose, one new observation can drag the entire system into a new shape. If they are too stiff, nothing important can move. We want a stable structure, but with enough leeway to let strong or surprising evidence modify parts of it.
Sidenote: I talk about this much more in depth in my blog on the Geometry of Surprise.
Hardware.
This also leads to my thesis around alternative hardware.
Settling is sparse and irregular: a new observation might stretch a few springs and leave everything else where it was - and then the next observation ramifies across the entire field. Thereâs no fixed pattern to which parts of the state move, and no way to know in advance which ones will.
This is close to the worst case for a matrix multiplication accelerator. Most modern AI chips are built for doing the same mathematical operation on many numbers in parallel. Critically, we can predict which numbers they will need and when, so they can carefully schedule their movement through the chip to keep as much computation running in parallel as possible.
This is very much contrary to what settling-based systems need: what gets updated next, and the scope of the structural modifications, depend on a new observation that canât be scheduled.
I believe the future of hardware will be built around more sparse, irregular, settling-based computation.
Conclusion.
Open-ended research isnât merely a longer chain of thought. On the day Penzias and Wilson received that phone call, one new piece of information stretched one spring, and the entire investigation settled into a different shape.
To reach the next era of intelligence, systems will need to be capable of doing open-ended research. The models of tomorrow will involve an architectural shift toward persistent state and settling-based dynamics, and we need to start thinking about the compute and architectures that will get us there.
I would love to chat more about this - please feel free to DM me or email me.