论文将验证器在更复杂任务上的可靠性如何维持列为开放问题之一。