5年内AI能证明人类未证明的猜想吗？张亚勤和丘成桐打了个赌_热点

创始人

2025-05-17 21:42:05

来源：@究竟视频微博

【#5年内AI能证明人类未证明的猜想吗#？张亚勤和丘成桐打了个赌】“五年之内，AI能不能证明人类没有证明的猜想或者公式？比如三体问题、黎曼猜想或是流体力学问题。”

5月17日，中国工程院院士、清华大学智能产业研究院院长张亚勤透露，自己去年年底时和中国科学院外籍院士、美国国家科学院院士、知名数学家丘成桐先生就这个问题打了赌。

张亚勤认为，AI在五年之内会证明一个公式或猜想，再过五年会发明一个，不一定发明到薛定谔方程这样的，但会发明人类可能没有的。丘成桐却认为，AI还做不到。

“我儿子在微软做软件工程师，90%的代码已经是AI帮他写了。”张亚勤补充说。

坐在张亚勤旁边，一直关心自然科学公式和理论、讲了三年多物理课的搜狐董事长张朝阳也好奇：现在人工智能给出的一些结果都对，各种公式它都能写出来，但是人工智能真的理解了吗？比如，它真的知道什么是量子力学、波粒二象性吗？

张亚勤的观点是，AI不一定真理解，但是现在来看，任何有规则的、有答案的、有结构化的，人工智能都会超过人类，如下棋，编码，语言。但有一些比较模糊的东西，AI就会差一些。像波粒二象性这样的，即使AI不理解，它仍可以做出很多创新，给人类提供更多的灵感。