人工智能通过可微分编程取得了显著进展，可微分编程是建立在自动微分、图模型、优化和统计学等多个领域基础上的编程方法，通过优化和概率的视角介绍了两者之间的相似之处。它不仅仅是程序的微分，还包括为微分而设计的富有思考的程序，通过引入与程序输出相关的概率分布，提供了量化不确定性的手段。