Group 1 - The event at WAIC 2025 showcased a "man-machine showdown" where AI models from various institutions demonstrated their mathematical reasoning capabilities, highlighting the intersection of AI and mathematics as a driving force for industrial transformation [1][2] - The forum featured a unique "human posing questions - machine answering" format, testing AI's deep reasoning abilities and guiding it to focus on significant mathematical challenges, thus avoiding ineffective computational efforts [2][3] - The establishment of two international mathematics laboratories in Shanghai signifies a shift in the global focus of mathematics and AI integration research towards China, recognizing Shanghai's research capabilities [2][3] Group 2 - The forum included insights from top scholars, emphasizing the need for mathematical support in AI model optimization, particularly addressing the limitations of finite parameters in the context of infinite-dimensional problems [3] - Collaborative demonstrations between mathematicians and AI teams showcased AI's ability to solve complex geometric problems and analyze student errors, indicating the potential for AI to enhance educational processes [3][4] - Shanghai's strategic positioning as a global hub for AI and mathematics integration is reinforced by its advanced computational infrastructure and a strong academic foundation in mathematics, making it an ideal testing ground for this interdisciplinary research [4][5] Group 3 - Shanghai is implementing four key initiatives to enhance the "AI + Mathematics" integration ecosystem, including talent development, the establishment of open platforms, policy support through innovation funds, and practical applications in various sectors [4][5] - The city's ambition to become a global center for AI and mathematics research is aligned with national strategies and urban development goals, positioning it as a leader in the ongoing intelligent revolution [4][5]