情人节最硬核“Kiss”！中国AI突破300年亲吻数难题，连刷多维度纪录

Core Viewpoint - The article discusses the breakthrough in solving the Kissing Number Problem using AI, specifically through a system called PackingStar, which has achieved significant advancements in high-dimensional geometry [1][10][49]. Group 1: Kissing Number Problem Overview - The Kissing Number Problem investigates how many equal-sized spheres can touch another sphere without overlapping in n-dimensional space [2][4]. - The problem has historical significance, originating from a debate between Newton and Gregory in 1694 regarding the arrangement of spheres in three-dimensional space [5][6]. - Recent advancements have been limited, with only seven substantial progressions in nearly 50 years [9]. Group 2: Breakthrough Achievements - The PackingStar system, developed by a collaborative team from Shanghai Science and Technology Institute, Peking University, and Fudan University, has set new records for dimensions 25 to 31 [10][11]. - The system has also discovered over 6,000 new configurations in various dimensions and broken long-standing records in generalized kissing numbers [10][11]. Group 3: Methodology and AI Integration - PackingStar transforms the high-dimensional geometric problem into a multi-agent game, allowing AI to explore potential structures autonomously [18][24]. - The approach involves using a cosine matrix to represent the positions of spheres, which is well-suited for parallel computation on GPUs [18][24]. - The system employs a collaborative mechanism between two agents to fill, prune, and reconstruct geometric structures, significantly reducing the complexity of high-dimensional exploration [25][31]. Group 4: Implications for Mathematics and AI - The discoveries made by PackingStar challenge traditional human intuitions about symmetry in geometric structures, revealing many non-symmetric configurations that yield better results [27][28]. - The project exemplifies a shift in AI's role from merely assisting in calculations to actively participating in scientific exploration, marking a new phase in AI for Science [64][65]. - The results have implications across various mathematical fields, connecting concepts from sphere packing, number theory, and group theory, thus enhancing the overall mathematical discourse [34][60]. Group 5: Infrastructure and Future Directions - The project highlights the importance of robust AI infrastructure, which is crucial for tackling complex mathematical problems that require extensive computational resources [39][40]. - The development of custom CUDA operators and an automatic checkpointing system has improved the efficiency and stability of long-duration tasks [42][46]. - The success of PackingStar indicates a promising future for AI in mathematics, suggesting that previously unsolvable problems may become accessible through innovative AI methodologies [49][60].