対話型証明システムを用いることで、従来の学習アルゴリズムよりも効率的に学習を行うことができる。特に、Fourier解析に基づく手法、AC0[2]回路の学習、k-juntaの学習などで、量的・質的な改善が得られる。さらに、無制限の証明者を許容すれば、任意のクラスの関数について、非常に少ないサンプル数で学習できる。
