“五年之内，AI能不能证明人类没有证明的猜想或者公式？比如三体问题、黎曼猜想或是流体力学问题。”今年5月时，中国工程院院士张亚勤透露，自己去年和中国科学院外籍院士、知名数学家丘成桐先生就这个问题打了赌。张亚勤认为，AI在五年之内会证明一个公式或猜想，再过五年会发明一个人类可能没有的公式。丘成桐却认为