Funnily enough I just wrote a post about empirical flywheels in math and philosophy which I think are ~the same thing you call “scrying”.
I think you maybe could model it in logical induction? Basically when you are “scrying” you’re working in some sort of small verifiable domain which can give you lots of unambiguous feedback quickly, in the hopes that the information you get will be applicable to some larger setting you care more about. Doing it well would be like, developing good intuition/heuristics about what sort of small verifiable problems tend to be useful to work on.
Funnily enough I just wrote a post about empirical flywheels in math and philosophy which I think are ~the same thing you call “scrying”.
I think you maybe could model it in logical induction? Basically when you are “scrying” you’re working in some sort of small verifiable domain which can give you lots of unambiguous feedback quickly, in the hopes that the information you get will be applicable to some larger setting you care more about. Doing it well would be like, developing good intuition/heuristics about what sort of small verifiable problems tend to be useful to work on.