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.)
I’m not sure why you expect this… Go is easily simulatable. We find it hard to simulate simple quantum systems like atoms well. Let alone aggregate materials.
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.)
I’m not sure why you expect this… Go is easily simulatable. We find it hard to simulate simple quantum systems like atoms well. Let alone aggregate materials.