“五年之内，AI能不能证明人类没有证明的猜想或者公式？比如三体问题、黎曼猜想或是流体力学问题。”5月17日，中国工程院院士、清华大学智能产业研究院院长张亚勤透露，自己去年年底时和中国科学院外籍院士、美国国家科学院院士、知名数学家丘成桐先生就...