Systems of quantum computers can verify NEEXP problems
quantamagazine.org