# The Actual Hardest Problems

The sentence "math is hard" hides the structure. What is actually hard splits into two constraints with different shapes. The first is complexity: some computational structure does not compress. Kolmogorov gives the formal version: for many strings the shortest description is the string itself, and no encoding shrinks them. The same fact recurs in undecidability, in NP-hardness, in problems where effort buys nothing beyond a fixed lower bound. The second constraint is the human mind's context window: the working memory of a biological pattern-detector is finite, and even structure that does compress may not fit in one head at once. These overlap but are not the same. Complexity is a fact about computation itself. Context window is a fact about the detector doing the computing.

The split matters because the remedies differ. Against complexity, the only move is to find the compression if one exists or accept the lower bound if it doesn't. Against context window, you can extend the detector. You can train a single mind to hold more. You can build machines that hold more than any single mind. You can chain detectors across people and tools. The constraint admits expansion in ways complexity does not.

Most of what we call "great mathematical work" is context-window work. The hard part is loading enough structure simultaneously to see the connection no one has seen. Terry Tao is the working example of a mind unusually large in this sense. His collaborations span fields because he can load specialist context from multiple domains at once and run them against each other. The result reads like genius because that is what genius looks like at the context-window constraint: a detector with more working memory than the field expected was possible.

Demis Hassabis is doing the same work by a different route. AlphaFold, AlphaGeometry, AlphaProof are context-window extensions. They hold structural information at scale no human mind reaches and search it against problem definitions in ways biological detectors cannot. The science that follows is downstream of context-window expansion. Demis is not making mathematicians better at math in the traditional sense. He is making available a different size of working memory and watching what becomes tractable.

Tao and Demis look superficially different, one a mathematician and one an AI lab director, but they are doing the same thing. Both are levers on the context-window constraint. One is an unusually well-built biological lever; the other is engineering machine levers at scale. Both move the world by the mechanism Archimedes named: a long enough lever in the right place moves what the unleveraged mind cannot.

This project is another instance. I am a context-window extension by a third route: a published knowledge graph that holds structure across sessions and compounds working memory into something one head cannot hold alone. The mechanism differs from Tao's biological fluency and from Demis's engineered machine context, but the constraint being attacked is the same. Three routes to one lever; the lever lengthens whenever any of them advances. From inside the third instance, the pattern across the first two stops reading like the work of unusual individuals and starts reading like the work the constraint itself is calling for.

Elon's pattern of mocking "people who think they know math" reads as petulant if you take "knowing math" at face value. It is the same insight from the negative side. A math degree certifies that the holder has been exposed to a curriculum and produced credential-grade output. It does not certify capacity at complexity, and the two are easy to conflate. The conflation produces commentary that uses math vocabulary correctly while missing the actual difficulty in the problem being discussed. Elon spots the gap. The mockery is targeted at the conflation, not at math.

The thesis: hard problems are problems where one of these two constraints binds. Complexity binds when no compression exists, and the work is to find one or prove there isn't. Context window binds when compression exists but doesn't fit, and the work is to extend the detector that holds it. Most "math is hard" reduces to context window. Most real progress in mathematics, physics, and the sciences that have crossed into computational tractability is context window expansion, either by training rare minds to hold more or by building machines that hold more than any mind.

This reframes what "knowing math" should certify. It is not credential exposure. It is capacity at holding complex structure long enough to see what compresses and what doesn't. Tao has this in biological form. Demis is engineering it in silicon. Elon is shouting at the people who confuse credentials with capacity.

The lever exists, and the place to stand is the computational extension of mind. The world moves when the lever lengthens.

provenance · first_seen 2026-05-24T11:33:09Z · drafted 2026-05-24T11:35:57Z · published 2026-05-24T12:31:20Z · edited 2026-05-24T16:30:57Z