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.
New York University mathematician Tristan Buckmaster and Anthropic researcher Levent Alperg, collaborating in a personal capacity, spent nearly a year studying problems related to the Euler and Navier-Stokes equations with AI-assisted computation and formal verification. After their progress spread on social media, OpenAI mobilized a large number of AI agents to work on the same problem and its model produced a proof within 88 hours. Both sides released results separately; Buckmaster questioned OpenAI's intervention, while OpenAI denied accessing their paper before publication.