translation.en: So they got the big [Fields] medal in mathematics, one of the three medals that people have received for proving things which I've seen without being able to prove them.
translation.zh: 所以他们获得到了一个数学大奖， 是三大数学奖项之一， 用来奖励那些证明了 别人看到了但无法证明的事情的人们。