oh and here's a link to the paper. includes a lot of theorems, experiments on a synthetic problem to explicitly test pre-caching (one sort of "thinking ahead") and experiments on language.

→ View original post on X — @jxmnop