Priors over programs will get you some of the way there, but usually the structure of those priors will also lead to much much longer encodings of a ray tracer.
If you grant the image being reconstructed, then 2 dimensional space is already in the cards. It’s not remotely 64 bits to make the leap to 3d space projected to 2d space. The search doesn’t have to be “search all programs in some low-level encoding”, it can be weighted on things that are mathematically interesting / elegant (which is a somewhat a priori feature).
If you grant the image being reconstructed, then 2 dimensional space is already in the cards. It’s not remotely 64 bits to make the leap to 3d space projected to 2d space. The search doesn’t have to be “search all programs in some low-level encoding”, it can be weighted on things that are mathematically interesting / elegant (which is a somewhat a priori feature).