丘成桐：人工智能可帮助消化了解过去300年来的数学命题

编导：宋美辰   编辑：金秋野   

9月1日，著名数学家丘成桐在2022世界人工智能大会（WAIC）上表示，人工智能的发展对数学有很重要的帮助。数学届很多重要命题，人工智能可以帮忙系统化地消化了解。