And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的
耶鲁公开课 - 死亡课程节选
应用推荐
模块上移
模块下移
不移动