I'm not trying to be provocative, I'm just trying to be honest.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。