实现可验证的编码和数学奖励比理论物理要容易得多。机器人技术可能是下一个趋势。