In the current world champion of chess, I think Vladimir Kramnik, was defeated in December by a chess-playing program.

当前的国际象棋世界冠军,弗拉基米尔?克拉姆尼克,就在今年12月被一个国际象棋程序击败

耶鲁公开课 - 死亡课程节选

In the most straightforward natural meaning of the term, we have to say--I think the program that beat the world champion was called Deep Fritz.

从最直接最自然的意义上理解,我们不得不说,我想,那个打败世界冠军的计算机程序叫深弗里茨

耶鲁公开课 - 死亡课程节选