RT DF A1 Yi, Kexin. T1 Neural Symbolic Machine Reasoning in the Physical World