Either the rock-placing man is running the AI so slowly that it’s not useful for anything or he runs the risk of falling prey to considerations that have already been discussed on LW surrounding oracle AI.
Steelmanning is probably a good thing to do (and I’m not good at doing it), but I think it’s bad form to ask that somebody steelman you.
Either the rock-placing man is running the AI so slowly that it ’s not useful for anything or he runs the risk of falling prey to considerations that have already been discussed on LW surrounding oracle AI.
This would be a useful conjecture if you can formalize it, or maybe a theorem if you can prove it.
What is with LW people and theorems? The situation you’ve described is nowhere near formalized enough for there to be anything reasonable to say about it at the level of precision and formality that warrants a word like “theorem.”
Either the rock-placing man is running the AI so slowly that it’s not useful for anything or he runs the risk of falling prey to considerations that have already been discussed on LW surrounding oracle AI.
Steelmanning is probably a good thing to do (and I’m not good at doing it), but I think it’s bad form to ask that somebody steelman you.
This would be a useful conjecture if you can formalize it, or maybe a theorem if you can prove it.
What is with LW people and theorems? The situation you’ve described is nowhere near formalized enough for there to be anything reasonable to say about it at the level of precision and formality that warrants a word like “theorem.”