Shing-Tung Yau initiated the establishment of the Mathematics and Artificial Intelligence Laboratory Alliance with multiple mathematical research institutions, calling on more mathematicians to participate in AI research to enhance AI's mathematical reasoning capabilities. The alliance will gather over a thousand researchers to focus on mathematics-specific large models and AI-assisted mathematical proof.
On October 11, the Yau Mathematics and Artificial Intelligence Laboratory Alliance was established at Tsinghua University to promote deep integration of AI and mathematics, releasing over 10 key achievements and research directions in "AI+mathematics" involving scientific problems such as the degenerate Arnold conjecture, boundedness of minimal modifications, and 7-dimensional homotopy spheres, spanning geometry, quantum computing, and life sciences. AI mainly served as an assistant in exploring proof strategies, simplifying calculations, and providing inspiration.