从数学革命到产业落地，华院计算发布智能体平台｜聚焦WAIC 2025

Group 1 - Shanghai is positioned as a major hub for artificial intelligence development, emphasizing the integration of AI with traditional and emerging industries [1] - The World Artificial Intelligence Conference (WAIC2025) highlighted the strategic commitment of Shanghai to expand AI application scenarios [1] - The Cognitive Intelligence Innovation Forum focused on three core areas: cognitive reasoning, autonomous decision-making, and causal learning, providing diverse perspectives for technological breakthroughs [1] Group 2 - Professor Dong Bin from Peking University identified the bottleneck in mathematical research as theoretical verification and theorem proving, suggesting AI tools can offer innovative solutions [2] - A proposed research path includes the development of customized large language models for mathematics and the digitalization of key reasoning steps to enhance collaboration between humans and AI [2] - Professor Yang Hongxia from Hong Kong Polytechnic University discussed the challenges of deploying large models in vertical industries and the trend towards decentralized AI development [2][3] Group 3 - The ultimate goal of generative AI is to achieve deep integration with robotics, requiring over a decade of data accumulation and technological development [3] - The focus of current industry development is on democratizing technology to lower barriers and encourage expert participation in building vertical models [3] - The founder of Huayuan Computing, Xuan Xiaohua, stated that AI technology is transitioning from laboratory research to industrial application, emphasizing the importance of independent innovation [3] Group 4 - The Huayuan Intelligent Agent Platform features three core characteristics: orchestration planning, tool invocation, and short/long-term memory [4] - The platform allows users to create intelligent assistants and automated processes through a visual orchestration system, significantly lowering the technical barrier for AI usage [4][5] - This platform addresses the challenges of long development cycles and high technical barriers in traditional AI systems, facilitating rapid digital transformation across industries [5]