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.

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

youdao

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.

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

youdao