arXiv:2511.13391cs.LGcs.AI2025-11被引 1

用强化学习破解千年几何难题,发现新球体排列结构。

Finding Kissing Numbers with Game-theoretic Reinforcement Learning

  • 将球体接触问题转化为合作博弈,用AI自动补全几何配置
  • 突破15个长期未解的球体接触数上界,部分结果已证明最优
  • 首次实现菲舍尔群Fi22的显式球码构造,启发数学家后续突破

自牛顿1694年研究接触数问题以来,确定中心球周围最多可放置多少个不重叠球仍是离散几何的核心挑战。作为希尔伯特第18问题的局部版本,该问题在几何、数论与信息论中具有深远影响。尽管格和编码已有进展,但领域仍局限于孤立极值构型,深层几何原理模糊不清。本文将研究对象扩展至更广的极值构型空间,将问题重构为合作矩阵补全博弈,并训练名为PackingStar的强化学习系统求解。一玩家填充余弦值,另一玩家修正非优项,使复杂的几何结构可被处理。在极值构型空间中,PackingStar发现了新的可解释几何结构,改进了15个持续数十年的接触数及其推广形式的上界,其中若干已在自然内积下被证明为最优。这些发现首次实现了菲舍尔群Fi22的显式球码构造,拓展了子群结构的经典欧氏表示,并直接激发了数学家后续突破。本工作为希尔伯特级数学问题中人工智能驱动发现的早期范例,展示了强化学习如何通过解锁更具表现力的对象推进数学发现。

原文摘要 · Abstract (English)

Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.

几何优化强化学习球体排列数学发现

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。