在计算机辅助证明和纯人类可读证明之间存在平衡。纯人类可读证明需要最小化计算量，而计算机辅助证明可以将验证任务外包给计算机。这两种方法都有优势，没有一种一定比另一种更好。
完成下面两步后，将自动完成登录并继续当前操作。
