Chinese mathematicians have launched a Beijing alliance led by Shing-Tung Yau to bring AI into advanced mathematical research ...