Answers · How models work
Why does a model cost the same to run no matter what you ask it?
In shortIn an ordinary model every weight runs on every token, so the arithmetic per token is fixed by the model size, not by how hard the question is.
In an ordinary model every weight is applied to every token, so the arithmetic per token is fixed by the size of the model rather than by the content of the question. A hard prompt and an easy prompt cost the same per token because both are pushed through the same complete set of weights.
The arithmetic
A token arrives as a vector. Each layer multiplies it by matrices whose entries are the parameters, and in a dense model none of those multiplications is skipped. If the model holds parameters, a token touches parameters. Difficulty does not enter that count. The input determines the values in the vector, not which weights are read. A question asking for a capital city and a question asking for a proof both produce one vector at a time, and each vector meets the same matrices.
This is unusual. A reference book does not take longer to consult because it has more entries, because an index tells you where to look. A dense model has no index: it reads every weight on every pass. The absence of an index is why the size of the model and the cost of one token are the same number.
- active parameters: what one token touches, which sets the time per token
- the shared parts, run by every token regardless of routing
- how many copies each token is sent to, usually one or two
- how many copies exist
- the parameters held across all the copies together
The per-token price is constant, not the total bill. A model that emits twenty tokens does twenty times the per-token arithmetic of a model that emits one, because each token is a separate pass. That is why a hard question can cost more in practice: it often produces a longer answer or a longer chain of reasoning. The extra cost comes from the number of tokens, not from extra work inside a token. If two prompts produce the same number of input and output tokens, a dense model charges them the same.
The natural guess
The natural guess is that a harder question should make the model work harder, in the way a person pauses and thinks. That would require a mechanism that reads the question, decides that more computation is needed, and runs extra weights for that token. An ordinary model has no such mechanism. It has one path, and the path is the whole model. The router in a sparse model does make a choice, but it chooses which copies to visit, not how many: is fixed, so a difficult token still visits copies. The constancy is a structural consequence of applying every parameter to every input, not a law that models must obey.
Replacing the largest block with several copies and sending each token to a few of them separates what is held from what is run. Let the shared parts hold 1 billion parameters, let the copies hold 8 billion between them across 8 copies, and let each token visit 1 copy. Then the active count is billion, while the held count is billion. The ratio is . A harder token still visits one copy, so its active count stays at 2 billion. More knowledge is bought by adding copies, which adds to the held count and adds nothing to the per-token arithmetic.
The chooser is a small matrix that scores the copies, so it adds a little arithmetic and no large amount. The routing decision can differ from token to token, and the set of visited copies can differ, but the number visited is fixed by design. That is why two tokens with very different content can have the same active parameter count.
The arithmetic is saved; the memory is not. The 9 billion parameters in the example all have to be stored, even though a token touches only 2 billion of them. A model that holds many copies therefore needs memory for all the copies, and moving tokens to the copy on another machine adds communication that no parameter count shows. That is why the arrangement is a trade rather than a free increase in knowledge. It is worth it when arithmetic is the bottleneck and memory is spare; it is a poor deal when memory is the constraint.
Where it stops
The constancy stops if the architecture itself changes the amount of computation per token. A model that loops until it is confident, or one that varies with the input, can spend more arithmetic on a harder token. Standard dense models and standard sparse mixtures do not do that: dense runs all, sparse runs a fixed number of copies. Batching and hardware can also change the wall-clock time you observe, but they do not change the per-token parameter count. The question's difficulty can change the number of tokens, and that is usually what people are measuring when they say a hard question cost more.
Worth keeping
- Cost per token in a dense model is proportional to the number of parameters, because every parameter runs on every token.
- A longer answer costs more because it contains more tokens, not because any one token is harder.
- Sparse copies separate held parameters from active parameters, but they move the cost into memory rather than removing it.
Where this goes next
This question is one step of Many Specialists, One Model, a course that works through its subject from the beginning. The page that teaches this part of it is Capacity You Do Not Have to Run, and it reads the whole way through whether or not you have an account.
What an account changes is the practice: problems standing under every idea, marked with a reason rather than a tick, in a copy of the course that is yours.
Read that pageThe whole courseOther questions people ask about this
- Why do so many tokens end up routed to the same few experts?Because picking and training reinforce each other: an expert chosen more often gets trained more, which gets it chosen more often again, so the traffic collapses onto a few.
- Why does the model get stuck repeating the same sentence over and over?The model is not stuck in a memory loop: once it has written a phrase, that phrase is in its context and makes writing it again more likely, so a decoder that always picks the top word cannot leave.
- Why does diffusion add Gaussian noise instead of any random corruption?Diffusion adds Gaussian noise because Gaussian errors combine exactly: each step keeps the spread fixed and gives a closed-form noisy picture at any later step, which makes the reverse step learnable.
- Why does the same request cost more tokens in some languages than in others?A token is learned from a corpus, so a language that was rare in the training text is split into many more pieces for the same meaning, and the price multiplier follows.
- How do you turn the predicted noise into the mean of the previous image?Subtract a small scheduled fraction of the predicted noise from the current image, then rescale to undo the forward step's shrinkage.
- Why does the forward noising process have to be a Markov chain?The forward process is made memoryless so that each step is a fixed random rule and any later state can be computed straight from the original picture.