哇！原来AI是个人！

能不能证明一下，每个离谱的证明题都能被派克拉证明出来