My issue is that I can't predict what you'll find surprising, if an LLM (with a harness) would be able to do it. If you are able to check that the results of a

My issue is that I can't predict what you'll find surprising, if an LLM (with a harness) would be able to do it. If you are able to check that the results of an LLM are satisfactory, it means that the results are checkable. Then, in retrospect, the process of LLM coming up with those results is rule-based, because an LLM is a large set of data manipulation rules. In short, which concrete thing that an LLM does would surprise you?