We prove things in mathematics that have never been proven before or we find new ways to prove these theorems or what have you and we can be creative.

我们用数学去证明从未被证明过的事物,我们探寻新的方法去证明那些定理,或其他诸如此类,总之,我们具有创造力

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

He had the idea but he didn't have the math.

他已了解其中概念,但没有数学工具加以证明

耶鲁公开课 - 金融市场课程节选

There are mathematical theorem-proving programs.

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

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