China forms AI math alliance with over 1,000 scientists

Chinese mathematicians have formed an alliance in Beijing to integrate AI into mathematical research, according to the South China Morning Post. The initiative, led by Fields medallist Shing-Tung Yau, involves eight leading institutions and aims to create a network of over 1,000 scientists.

Yau described AI's impact on mathematics as significant, comparing its development to a tsunami. He emphasized the need for Chinese mathematicians to embrace the technology rather than avoid it, focusing on creating specialized AI models for mathematical research.

The alliance will work on generating conjectures, formalizing proofs, and building interpretable AI systems. Yau noted that while Chinese models perform well for general tasks, they lag behind US systems in cutting-edge research, particularly in areas like those addressed by OpenAI.

OpenAI recently released over 700 papers on 377 math problems, prompting some mathematicians to call for a boycott. The company later retracted three manuscripts due to an error and revised 14 others, drawing criticism for the speed and scale of its releases.

Mathematicians have raised concerns about the need for careful verification, clear explanations, and proper acknowledgment of prior work in AI-generated mathematical results. Meta has also released papers on solving six major math problems.

The Yau Laboratory Alliance aims to close the gap between China and the US in frontier scientific research, particularly in AI systems capable of advancing mathematics and physics.