2010年代以来，人工智能 (简称AI)取得长足发展。像2016年的AlphaGo，击败围棋世界冠军柯杰，引起一阵轩然大波。这个模型从最初的学习人类棋谱，到后来无监督的自我博弈，实现超越人类的下棋能力。让人们首次意识到，AI能在逻辑层面超越人类。