Yeah, but it’s fractal. For every such problem, there is a bigger problem such that the original one was a 5% subgoal. This is one of the reasons why the curve of capability manifests so consistently: you always find yourself hitting the general version of Amdahl’s law in the context of a larger problem
For every such problem, there is a bigger problem such that the original one was a 5% subgoal.
Sure, you can always cook up some ad hoc problem such that my perfect 100% solution to problem A is just a measly 5% subcomponent of problem B . That doesn’t change the fact that I’ve solved problem A, and all the ramifications that come along with it. You’re just relabeling things to automate a moving goal post. Luckily, an algorithm by any other name would still smell as sweet.
I think the point he was trying to make was that the set of expanding subgoals that an AI would have to make its way through would be sufficient to slow it down to within the exponential we’ve all been working with.
Phrased this way, however, it’s a much stronger point and I think it would require more discussion to be meaningful.
Bear in mind that if we zoom in to sufficiently fine granularity, we can get literally infinite speedup—some of my most productive programming days have been when I’ve found a way to make a section of code unnecessary, and delete it entirely.
To show this part of my argument is not infinitely flexible, I will say one algorithmic breakthrough that would invalidate it, would be a constructive proof of P=NP (or a way to make quantum computers solve NP-complete problems in polynomial time—I’m told the latter has been proven impossible, but I don’t know how certain it is that there aren’t any ways around that).
There are no known strong results concerning the relationship between BQP (roughly the analogue of P for quantum computers) and NP. There is strong consensus that BQP does not contain NP, but it is not as strong as the overwhelming consensus that P != NP.
Yeah, but it’s fractal. For every such problem, there is a bigger problem such that the original one was a 5% subgoal. This is one of the reasons why the curve of capability manifests so consistently: you always find yourself hitting the general version of Amdahl’s law in the context of a larger problem
Sure, you can always cook up some ad hoc problem such that my perfect 100% solution to problem A is just a measly 5% subcomponent of problem B . That doesn’t change the fact that I’ve solved problem A, and all the ramifications that come along with it. You’re just relabeling things to automate a moving goal post. Luckily, an algorithm by any other name would still smell as sweet.
I think the point he was trying to make was that the set of expanding subgoals that an AI would have to make its way through would be sufficient to slow it down to within the exponential we’ve all been working with.
Phrased this way, however, it’s a much stronger point and I think it would require more discussion to be meaningful.
Bear in mind that if we zoom in to sufficiently fine granularity, we can get literally infinite speedup—some of my most productive programming days have been when I’ve found a way to make a section of code unnecessary, and delete it entirely.
To show this part of my argument is not infinitely flexible, I will say one algorithmic breakthrough that would invalidate it, would be a constructive proof of P=NP (or a way to make quantum computers solve NP-complete problems in polynomial time—I’m told the latter has been proven impossible, but I don’t know how certain it is that there aren’t any ways around that).
There are no known strong results concerning the relationship between BQP (roughly the analogue of P for quantum computers) and NP. There is strong consensus that BQP does not contain NP, but it is not as strong as the overwhelming consensus that P != NP.
Presumably because P = NP would imply that NP is contained in BQP, so you can’t believe the first of your statements without believing the second.
It’s not even known if NP contains BQP?
No. The best we can do is that both contain BPP and are contained in PP, as far as I recall.
And there exist oracles relative to which BQP is not contained in MA (which contains NP).