By 2032, I expect models that can hold a formal structure, modify it, verify the modification against constraints, and explain the failure modes — all in a single pass that is genuinely compositional rather than retrieved.

This will not be AGI. It will be something that makes the question "but is it really reasoning" feel like asking whether a calculator really adds.