This is really on-point. I think a lot of the progress in fields like mathematics and software engineering is precisely because of verifiability and steering due to the closed loop nature of the system. Agentic harnesses are essentially running a huge search with the LLM as the heuristic. Bridging spatial reasoning with LLMs is still an open question IMO and isn't going to be easy to solve and is fully necessary for something like AGI.