Leading Chinese mathematicians unite behind use of AI in research

Leading Chinese mathematicians convened in Beijing on Sunday to establish the Yau Laboratory Alliance for Mathematics and Artificial Intelligence. The initiative, spearheaded by Fields medallist Shing-Tung Yau, aims to integrate AI into mathematical research. Yau highlighted China's lag behind the United States in utilizing AI for scientific advancements, particularly in frontier science.

The alliance, which will involve eight leading institutions and over 1,000 scientists, plans to develop specialized AI models for mathematics, generate conjectures and formalise proofs, and create interpretable reasoning systems. Yau acknowledged that AI has shown remarkable capabilities in recent months, solving problems that mathematicians previously struggled with, likening AI's development in mathematics to a "tsunami."

The alliance comes amid debates over AI's role in advancing mathematical knowledge, with concerns about the speed and accuracy of AI-generated results. Despite criticism, Yau emphasized the need for mathematicians to collaborate with AI developers rather than avoid the technology. He noted a significant gap between Chinese and US systems in frontier research, especially in AI-driven advancements in mathematics and physics.

Chinese models excel in tasks for general users but fall behind US systems in cutting-edge research. Leading US AI companies have invested heavily in tackling complex scientific problems, involving mathematicians to enhance AI systems while employing them for novel inquiries. Chinese institutions participating in the alliance include Tsinghua University, the Beijing Institute of Mathematical Sciences and Applications, and the Shanghai Institute for Mathematics.