The Model Proposes, the Machine Disposes
A transformer generating '347 times 89 is 30,883' is not multiplying. It is sampling the most probable continuation of a string, one token at a time. Roughly one time in eight on a hard benchmark it is confidently, silently wrong. The question is not how to make the model better at math — it's where to put the boundary between the thing that's good at intent and the thing that's correct by construction.

