實現可驗證的編碼和數學獎勵比理論物理學容易得多。機器人技術可能是下一個趨勢。