Chinese mathematicians have launched a Beijing alliance led by Shing-Tung Yau to bring AI into advanced mathematical research. The move comes days after OpenAI solved 377 math problems with AI.