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.”
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.”