7/14/2026 at 1:47:49 PM
This feels to me more like incremental belief building than "thinking ahead of time" (which is not what the paper is claiming).The model only has partial observability of the program it is working on (whatever tool call outputs are present in the context), as well as the trajectory of actions it has taken, and from this is building up some internal beliefs about the program - the probes used were looking for pretty crude things like "is this program well-formed" and "is this program correct (will it pass tests)".
The paper says that these program "properties" (beliefs) predict future state of the program up to 25 "steps" ahead, but given the setup this seems to be expected. An agent is trying to fix a program and/or maintain it in a working state, so it doesn't seem surprising that current well-formedness and correctness persist into the future, or that the model is correctly "optimistic" about the outcome of the next action it is planning/predicting.
This incremental belief building from partial observability reminds me of the ability of LLMs to predict valid chess moves when only given a truncated history of the games moves so far (e.g. last 20 moves, not all moves back to start of the game).
by HarHarVeryFunny
7/14/2026 at 3:35:35 PM
> more like incremental belief building than "thinking ahead of time"concretely, what's the difference here?
(I suppose you could define "thinking ahead of time" as explicitly using something like "thinking tokens" which might be roughly analogous to system1/system2 thinking, but note that we still call system 1 thinking "thinking")
by dnautics
7/14/2026 at 5:58:57 PM
Well to be fair to the author "thinking ahead of time" wasn't how they described it - that is just the HN title. "Thinking ahead" sounds like the model reasoning about the future state of the program, which is fundamentally unknown. The most the model could have learnt during RL-training, if trained in a harness, is what kind of outcomes to generally expect such as agentic progamming generally being successful (trend towards well-formed and passes tests), except perhaps for certain context smells where it appears to be going down the tubes!My hunch is that the model isn't thinking/planning head in order to achieve these probe results, but rather that they just reflect the models current take/beliefs on "how it's going" right now, and any correlation with "how it's going" in 25 steps time is just due to the inherent biases in the setup - well-formed programs tend to stay well-formed, etc.
by HarHarVeryFunny