Turns out the long-held dream of a "model-free" path to general AI might be backwards. A new paper provides formal proof that to get smart, an agent must build a model of its world, whether we program it to or not. For years, a huge debate in AI has been: do we need to build agents with explicit 'world models' (like a mental simulation of their environment), or can intelligence emerge from simple trial-and-error (model-free)? Model-free was appealing because modeling the real world is incredibly hard. This new finding suggests you can't escape that difficulty. The key finding from Richens et al. in "General agents contain world models" is a formal proof. It states that any agent that can achieve complex, multi-step goals with a bounded failure rate has necessarily learned an accurate predictive model of its environment. In simple terms: if an AI is good at long-term planning, its behavior contains all the information needed to simulate its world. The better it gets (lower regret δ) or the longer the tasks it can handle (goal depth n), the more accurate its internal world model must be. What makes this so interesting is that the world model is a hidden capability. It's not something you have to explicitly build; it emerges as a necessary byproduct of training for general competence. The agent is forced to learn how the world works just to be effective. And how did they prove this? With remarkable simplicity. They designed an algorithm that "interrogates" an agent by giving it either-or choices between complex goals. The agent's decision reveals its implicit prediction of which path is more likely to succeed, allowing its internal probabilities to be reverse-engineered. This totally changes how I think about "black-box" AI. The idea of a "model-free shortcut" to AGI seems to be off the table. The hard work of world modeling can't be avoided; it's just happening implicitly inside the network. The most practical angle? Safety and interpretability. The paper provides a theoretical guarantee that we can extract this hidden world model from any capable agent, just by observing its policy. We can take an opaque system and pull out its "blueprint" of the world to audit it. Broader implications: this could unify the field. Instead of a "model-based vs. model-free" war, the focus can shift to building, extracting, and leveraging these necessary world models. It also provides a formal explanation for the "emergent capabilities" we see in LLMs. It raises new questions: What do the implicit world models inside today's foundation models look like? How accurate are they? Can we use this extraction method to debug them and prevent harmful behavior before it happens? The work has just begun. Ultimately, the paper formalizes an old idea: an intelligent agent doesn't just have a model of its world—in a way, it is a model. This isn't just an architectural choice anymore; it looks more like a fundamental law of general intelligence.