agree it makes sense to focus on cyborg philosophy (this post is essentially cyborgist in that I don’t think AI-powered infra should substitute for application of human volition, and view accelerated conceptual progress as a joint AI/human project)
it does not seem to me that the bottleneck on important problems is wholly pre-formalization. there are some problems that do seem to be quite far from adequate formalizations s.t. it’s likely not useful to consider atm (robustness of convergence to moral basins). there are other problems that seem to be closer (circuit decomposition of neural networks). in general I suspect that once a field is sufficiently theoretic there are many gains to be had from testing intuitions w/formalizations & iterating quickly
agree it makes sense to focus on cyborg philosophy (this post is essentially cyborgist in that I don’t think AI-powered infra should substitute for application of human volition, and view accelerated conceptual progress as a joint AI/human project)
it does not seem to me that the bottleneck on important problems is wholly pre-formalization. there are some problems that do seem to be quite far from adequate formalizations s.t. it’s likely not useful to consider atm (robustness of convergence to moral basins). there are other problems that seem to be closer (circuit decomposition of neural networks). in general I suspect that once a field is sufficiently theoretic there are many gains to be had from testing intuitions w/formalizations & iterating quickly