问题

该证明的作者们最初想要确定一种方法在验证计算类问题的答案上的极限。

1988年，计算机科学家开始考虑如果两个证明者给出同一问题的答案会发生什么。

更大类别问题的答案，比你只有一个证明者可以讯问时大得多。

然而两个问题的答案最终全都出现在了另一个地方。

用计算机科学术语来说，讯问中的两方分别是给出问题答案的强力计算机，也就是证明者，与想要通过问证明者问题来判定答案是否正确的不那么强大的计算机。

计算机科学家HenryYuen，ThomasVidick，季铮锋，AnandNatarajan与JohnWright共同完成了关于验证计算类问题答案的一个证明，并最终解决了数学和量子物理中的重大问题。

计算机科学家后来意识到这一纠缠测试也可以作为工具来验证极其复杂问题的答案。

通过问适当的问题，你可以验证一大类问题的答案，远远超过亲自动手的。