A partial resolution of a Millennium Prize problem is a milestone for frontier models in the "thinking" layer of science. But axiomatic reasoning, while foundational, is only a component of the scientific stack that runs up through compute, data, and new instruments.