I share the same thinking. What do you think is a good way to try to define this "elegance"? If we try to use the mental framework of

Step 1. LLM "brute forces" a search

Step 2. We train on this trace

Step 3. In the next model, LLM internally makes a "shortcut" for this path and "brute forces" it quicker (or one shots its in the best case)

And we want to ultimately show why that definitio evades this framework.