人工智能助力 中国团队攻克经典数学难题

Core Insights - The Shanghai Institute of Intelligent Science (SIIS) has achieved a breakthrough in the kissing number problem, marking a significant advancement in mathematical research through the collaboration of AI and human researchers [1][5]. Group 1: Breakthrough Details - The PackingStar reinforcement learning system, developed in collaboration with Peking University and Fudan University, has set new records for kissing numbers across multiple dimensions, including 12, 13, 14, 17, 20, 21, and 25 to 31 [1]. - This achievement represents a systematic breakthrough in high-dimensional combinatorial geometry and coding theory, validating a new human-AI collaborative research approach [1][5]. Group 2: Historical Context - The kissing number problem, first proposed by Newton and Gregory in 1694, has a long history, with significant developments occurring only sporadically over the past 300 years [1][2]. - The problem is linked to various mathematical branches and has practical applications in satellite communication, quantum coding, and data compression [1]. Group 3: Methodological Innovations - The breakthrough has led to a methodological transformation in the research of the kissing number problem, moving from traditional symmetric constructions to discovering asymmetric configurations that maintain multi-dimensional records [5]. - The PackingStar project has redefined the problem by converting high-dimensional geometric challenges into algebraic computations, facilitating cross-dimensional migration paths [5]. Group 4: Engineering Support - The research is supported by a robust engineering framework, with the SIIS focusing on dismantling scientific goals through an open platform and leveraging engineering capabilities to mitigate exploration uncertainties [5]. - The project has optimized GPU computing processes and established an automatic checkpoint mechanism, significantly enhancing search speeds and saving over 100,000 GPU hours [5].