"We have no indication, no complete proof, that Iran has an ongoing nuclear weapons program,"

VOA: standard.2009.11.04

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.

而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的

耶鲁公开课 - 死亡课程节选

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.

而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的

耶鲁公开课 - 死亡课程节选