Posts

Comments

Comment by Dan Clemmensen (dan-clemmensen) on What Evidence Is AlphaGo Zero Re AGI Complexity? · 2017-10-22T19:58:17.738Z · LW · GW

It seems to me that systems of the AlphaGo Zero type should be able to derive the rules for subatomic particles from the rules of QED, the rules of nuclear physics from the rules of subatomic particles, and the rules of physical chemistry from the rules of nuclear physics. I'm not sure why anyone would do this, except that if if it fails, it might tell us something about missing rules, or possible find new rules. For instance, the first step might identify ro exclude some new subatomic particles, or identify or definitively exclude new particles at the quark level. The leap from physcal chemistry to the whole of biochemistry is more of a challenge: I suspect the some human guidance to select intermediate goals would simplify things (protein folding has been mentioned.)

Comment by Dan Clemmensen (dan-clemmensen) on What Evidence Is AlphaGo Zero Re AGI Complexity? · 2017-10-22T17:45:17.472Z · LW · GW

Let's assume you are correct, or at least "less wrong". Then there will eventually exsist a set of simple tools {T} that can be combined to solve many AGI-level problems. A given problem P will require a particular "complex" solver S(P). But then we achieve AGI by creating a system S(S(P)) that can produce S(P) given P and the rules for use of the elements in {T}. It seems to me that S(S(P)) may be amenable to an AlphaGo Zero approach.