Fields Medal winner Shing-Tung Yau has launched a Beijing-based alliance of eight Chinese institutions seeking to connect more than 1,000 researchers and advance AI in mathematics. Meanwhile, 25 Fields Medal winners warn that AI-generated proofs could erode understanding and create dependence.