But given that good, automated mechanistic hypothesis generation seems to be the only hope for scalable MI, it may be time for TAISIC to work on this in earnest. Because of this, I would argue that automating the generation of mechanistic hypotheses is the only type of MI work TAISIC should prioritize at this point in time.
“Automating” seems like a slightly too high bar here, given how useful human thoughts are for things. IMO, a better frame is that we have various techniques for combining human labour and algorithmic computation to generate hypotheses about networks of different sizes, and we want the amount of human labour required to be sub-polynomial in network size (e.g. constant or log(n)).
I think that the best case for full automation is you get the best iteration speeds, and iteration matters more than virtually anything else for making progress.
“Automating” seems like a slightly too high bar here, given how useful human thoughts are for things. IMO, a better frame is that we have various techniques for combining human labour and algorithmic computation to generate hypotheses about networks of different sizes, and we want the amount of human labour required to be sub-polynomial in network size (e.g. constant or log(n)).
I think that the best case for full automation is you get the best iteration speeds, and iteration matters more than virtually anything else for making progress.