当 AI 与数学在上海相遇：2025 WAIC背后的智慧革命

Group 1 - The forum on "Mathematical Boundaries and Fundamental Reconstruction of Artificial Intelligence" is a key event at the World Artificial Intelligence Conference (WAIC) 2025, focusing on the intersection of AI and mathematics [1] - The dual demand for AI and mathematics has become increasingly urgent, with AI models requiring mathematical support for optimization and safety, while AI is also enhancing mathematical research capabilities [3][5] - The participation of two Fields Medal winners, Charles Fefferman and Shing-Tung Yau, highlights the forum's significance, showcasing a collaborative model where human mathematicians pose problems and AI systems provide solutions [3][5] Group 2 - The forum featured a "man-machine confrontation" where AI models from various institutions solved mathematical problems, demonstrating their reasoning capabilities and efficiency [5][6] - A roundtable discussion showcased the collaboration between mathematicians and AI teams, revealing the strengths and weaknesses of AI in solving complex mathematical problems [6][8] - An international student pairing ceremony was held, symbolizing the collaboration between global institutions and local universities in exploring AI-assisted mathematical research [8][10] Group 3 - Keynote speeches from prominent scholars addressed the challenges and advancements in AI architecture and reasoning evolution, emphasizing the need for mathematical foundations in AI development [10][12] - The establishment of two international mathematics laboratories in Shanghai marks a significant step in integrating top-tier mathematical research with AI applications [10][12] - The forum concluded with a vision for Shanghai to become a global hub for mathematical intelligence, leveraging its unique advantages in AI and mathematics [13][26] Group 4 - The evolution of AI's role in mathematics has transitioned from a verification tool to a collaborative partner, significantly altering research paradigms [14][20] - Historical milestones in mathematical verification and formalization have paved the way for AI's current capabilities in logic reasoning and theorem proving [14][15] - Recent advancements in deep learning and large models have enabled AI to actively participate in discovering mathematical patterns and generating conjectures [20][22] Group 5 - Shanghai's unique position as a center for AI and mathematics provides a fertile ground for interdisciplinary research, supported by advanced computational infrastructure and academic excellence [26][28] - The city is focusing on three core areas of intersection between mathematics and AI, aiming to drive innovation and application in these fields [28][29] - Initiatives to build a comprehensive ecosystem for AI and mathematics integration include talent development, research support, and industry collaboration [29][30]