Если пруверов несколько, это ограничивает их возможности по вводу верификатора в заблуждение, потому что в ходе диалога можно устраивать очную ставку. За счёт этого класс доказуемых утверждений растёт ещё сильнее. А именно, верна теорема MIP=NEXP. На лекции мы познакомимся с основными идеями, лежащими в основе этого результата.