> Programs and algorithms can only encode models (which are themselves imperfect) of what we already know.

The Game Of Life seems to contradict this claim. Also worth considering, computational physics and weather/climate simulations.

Scientists of all sorts already do learn new insights by creating simulated models of systems. The simulated systems will continue to get more accurate.