The Yau Mathematical Sciences Center and the AI Laboratory Alliance were established on October 11 at Tsinghua University. Led by Fields Medalist Shing-Tung Yau, the initiative aims to unite approximately 1,000 researchers to integrate artificial intelligence with mathematical sciences. The alliance includes eight major institutions across Beijing, Shanghai, Nanjing, Shenzhen, and Hong Kong, focusing on developing specialized mathematical models and shared computing resources.
The alliance prioritizes the development of AI-driven mathematical models, formal proofs, and explainable AI. Current research areas include quantum computing, life sciences, and finance. The group also plans to launch an academic journal dedicated to AI-assisted mathematics. During the launch, over ten research directions were presented, covering topics such as the degenerate Arnold conjecture and the Sylvester conjecture.
A notable project involves the construction of Riemannian metrics with strictly positive sectional curvature for all 28 oriented diffeomorphism classes of smooth seven-dimensional homotopy spheres. AI assisted the team in exploring proof strategies and simplifying calculations, while computational algebra systems verified identities. The researchers emphasized that the final proof and logical structure remain the responsibility of human mathematicians.
The rapid pace of AI-generated mathematical output has sparked discussions regarding academic standards. Xi Nanhua, president of the Chinese Mathematical Society, noted a conflict between corporate AI release cycles and the traditional peer-review process. He highlighted the risk of unverified errors. The alliance aims to establish rigorous verification rules to ensure that AI-assisted discoveries meet professional mathematical standards.
