4 ms·
There is a bit of a difference between a theorem prover that can take selfproduced and verified proofs as input into future training steps, and an omniscient ph
by pizza 5y ago
There is a bit of a difference between a theorem prover that can take selfproduced and verified proofs as input into future training steps, and an omniscient philosopher king handling the logistics and affect of daily life. And if there even exists a path between them, I imagine it has many orders of magnitude greater discrete steps along the way than many singularity believers would accept.
- mkaic 5y ago(I'm the author of the post) Oh, for sure! I totally agree -- I guess where we differ is that I believe that those discrete steps are already starting to be lined up, and that they'll all be completed in the next 20 years. I think one of those steps is almost certainly abandoning rigid model architectures and allowing model self-modification, which we haven't really gotten to work fantastically well yet. I also think there are many other hurdles after that that are going to arise, but I'm very optimistic that they will all be surmounted in due time. Thank you for your comment! I really enjoy hearing what people's thoughts on this topic are. Have a wonderful day.