“东，你知道我现在有多难受吗？”彭罗斯走在路上，扳着指头，“这玩意儿最难的不是算，是核验啊。”

“一条恒等式，一个人算完，还得另一个人从头再核一遍，核到第七行的时候，发现抄错了一个上标，他娘...