cs.AIApr 5, 2026
SaveA Model of Understanding in Deep Learning Systems
Organizations: Northeastern University London
Abstract
I propose a model of systematic understanding, suitable for machine learning systems. On this account, an agent understands a property of a target system when it contains an adequate internal model that tracks real regularities, is coupled to the target by stable bridge principles, and supports reliable prediction. I argue that contemporary deep learning systems often can and do achieve such understanding. However they generally fall short of the ideal of scientific understanding: the understanding is symbolically misaligned with the target system, not explicitly reductive, and only weakly unifying. I label this the Fractured Understanding Hypothesis.
Figures & tables
Figure 1: Comparison between a ground truth surface (left) and the neural network’s learned isosurface (right). Observe how the learned isosurface is made by stitching together piecewise-linear surfaces. The ReLU activation functions lead the network’s output to be a continuous piecewise-linear function (a multivariate spline), approximating the smooth target curvature through a vast number of local planar regions.
Figure 2: Schematics showing the bias–variance tradeoff and the double descent behavior.
Figure 3: Comparison between the ground truth torus surface (left) and the neural network’s learned isosurface (right). Observe how the learned isosurface is made by stitching together piecewise-linear surfaces. Nonetheless, it forms a coherent genus-one surface.
Figure 4: Training and test accuracy as a function of optimization step in the modular-addition experiment. Training accuracy rises rapidly to near-perfect performance on the seen input pairs, while test accuracy remains low for an extended period. After a period of continued training, the model groks the target system, with test accuracy suddenly increases sharply, nearing the training accuracy. The sharp spikes at around steps 22,000 and 42,000 are consistent with the “slingshot” grokking mechanism identified by Thilak et al. (2022) .
Figure 5: Average magnitude of the 2D discrete Fourier transform of the system’s logits over the input grid (averaged over output classes). The learned input-output map exhibits strong concentration in Fourier space, consistent with a compact, structured dependence on the inputs.
Figure 6: A visual demonstration of the Othello rules. From left to right. (A) The board is initialized with four discs placed at the center. (B) Black moves first and must outflank one or more opponent discs. (C) The opponent repeats this process. The game ends when no legal moves remain.
In this paper, we make the case that a scientific theory of deep learning is emerging. By this we mean a theory which characterizes important properties and statistics of the training process, hidden representations, final weights, and performance of neural networks. We pull together major strands of ongoing research in deep learning theory and identify five growing bodies of work that point toward such a theory: (a) solvable idealized settings that provide intuition for learning dynamics in realistic systems; (b) tractable limits that reveal insights into fundamental learning phenomena; (c) simple mathematical laws that capture important macroscopic observables; (d) theories of hyperparameters that disentangle them from the rest of the training process, leaving simpler systems behind; and (e) universal behaviors shared across systems and settings which clarify which phenomena call for explanation. Taken together, these bodies of work share certain broad traits: they are concerned with the dynamics of the training process; they primarily seek to describe coarse aggregate statistics; and they emphasize falsifiable quantitative predictions. We argue that the emerging theory is best thought of as a mechanics of the learning process, and suggest the name learning mechanics. We discuss the relationship between this mechanics perspective and other approaches for building a theory of deep learning, including the statistical and information-theoretic perspectives. In particular, we anticipate a symbiotic relationship between learning mechanics and mechanistic interpretability. We also review and address common arguments that fundamental theory will not be possible or is not important. We conclude with a portrait of important open directions in learning mechanics and advice for beginners. We host further introductory materials, perspectives, and open questions at learningmechanics.pub.
Why We Care About Understanding: Competence through Predictive Compression
What is the relation between understanding and compression, and why does human understanding take such a heavily compressed form? Across information theory, machine learning, and AI research, a substantial tradition identifies understanding with compression-a thought captured in Gregory Chaitin's dictum that "comprehension is compression." Philosophers, by contrast, have characterized understanding in terms of grasping connections, giving explanations, and handling novelty. This paper bridges the two pictures through three interlocking theses. The first concerns the concept of understanding: it serves as an efficient proxy for a distinctive form of robust competence, enabling us to identify whom to trust and whom to learn from. The second concerns the state of understanding: to understand a domain is to possess a mental model of its relational structure that enables prediction, and what enables prediction enables compression, because what becomes predictable need not be stored separately. Compression is therefore not identical with comprehension, but its representational shadow. The third concerns the characteristically human form of understanding: the fiduciary and transmission functions highlighted by the first thesis impose pressures of demonstrability and transmissibility that drive human understanding toward principled simplicity. The resulting framework explains both the appeal and the limits of compressionist accounts of understanding while shedding light on the inscrutability of AI systems.
VeriTrace: Evolving Mental Models for Deep Research Agents
Deep research agents face vast, interdependent, and pervasively uncertain information. Existing systems explore what evolving intermediate representations should look like, but leave their evolution to the LLM's implicit reasoning. Without explicit regulation, the intermediate layer is easily contaminated by mixed-quality information, and errors propagate along its dependencies, so model scale often ends up substituting for absent regulation. We argue that an agent's mental model should instead evolve through explicit feedback that continuously aligns task understanding with reality, and identify three regulatory loops: interpretive update, deviation feedback, and schema revision. We realise this in VeriTrace, a cognitive-graph framework that explicitly implements the three loops. Using matched Qwen3.5-27B backbones, VeriTrace improves over the strongest matched baseline by an average of 4.82 pp on DeepResearch Bench (DRB) Insight (1.83 pp Overall) and by 5.9 pp Overall win rate on DeepConsult. With Config-DeepSeek, it achieves the strongest reproducible open-source result on DRB.