让AI做一个定理证明，其实比让AI来玩围棋、国际象棋等更具________。想要证明一个特定猜想的真假，需要使用高级别的逻辑推理能力。这比其他识别、分类任务要难得多。棋类的走法总会被预测出来，即使算法没有给出最佳方案，结果也能“________”。但在定理证明中，只要算法有一次走入死胡同，那就宣告本次解答失败，性能再好的系统也没办法。
依次填入画横线部分最恰当的一项是：

参考解析：

第一步，分析第一空。根据“让AI做一个定理证明，其实比让AI来玩围棋、国际象棋等更具________。想要证明一个特定猜想的真假，需要使用高级别的逻辑推理能力。这比其他识别、分类任务要难得多”可知，横线处与“需要使用高级别的逻辑推理能力”“难得多”相照应，表达有难度，不容易做到之意。
A项“权威性”指具有使人信服的力量和威望，置于文段无法体现有难度，不容易做到之意，不符合文意，排除A项。
B项“挑战性”指能激发自己主动跟困难等做斗争的状态；C项“复杂性”形容事物交错聚集，情况纷繁杂乱。二者置于文段均能体现有难度，不容易做到之意，符合文意，均保留。
D项“针对性”指对确定的对象采取具体措施，文段未提及根据不同对象采取不同措施，置于文段无法体现有难度，不容易做到之意，不符合文意，排除D项。
第二步，分析第二空。根据“棋类的走法总会被预测出来，即使算法没有给出最佳方案，结果也能‘________’。但在定理证明中，只要算法有一次走入死胡同，那就宣告本次解答失败，性能再好的系统也没办法”可知，“但”表转折关系，转折后提及定理证明只要算法走错一步，结果就会失败，反之，棋类算法即使走错一步，没有最佳方案，其最终结果也与最佳方案的结果相差不大。
B项“殊途同归”指通过不同的道路走到同一个目的地，比喻采取不同的方法而得到相同的结果，置于文段能体现棋类算法即使走错一步，其最终结果也与最佳方案的结果相差不大之意，符合文意，保留。
C项“和光同尘”指不露锋芒、与世无争的处世态度，置于文段无法体现棋类算法即使走错一步，其最终结果与最佳方案的结果相差不大之意，不符合文意，排除C项。
因此，选择B选项。