有些程序可以证明数学定理。

There are mathematical theorem-proving programs.

youdao

理论上说，存在排除某些人使用某句诗歌或某个数学定理的可能。

It is theoretically possible to exclude some from the use of a poem, or a mathematical theorem, but exclusion is generally quite difficult.

youdao

就是在那里，他们一次又一次地努力弄懂那些棘手的数学定理。

It was there when they tried and tried to solve all those tricky 11.

youdao

There are mathematical theorem-proving programs.

有些程序可以证明数学定理

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