丘成桐牵头：数学与人工智能实验室联盟在清华大学成立