Kevin Van Horn comments on What Evidence Is AlphaGo Zero Re AGI Complexity?