I mean, just the way Tao phrases these inqueries seems to imply a weighting towards an extremely abstract and high level rigorous corpus. In a way, prompt engineering really is the big unlock here.

Maybe! But I suspect you can write a little LLM assisted helper to at least make your prompts sound more like Tao's. (Your ideas won't necessarily be better, but you can probably 'imply a weighting towards an extremely abstract and high level rigorous corpus'.)