问题
For a dimension , define the kissing number to be the maximum number of non-overlapping unit spheres that can be arranged to simultaneously touch a central unit sphere in -dimensional space. Establish upper and lower bounds on that are as strong as possible.
问题陈述引自 AlphaEvolve 问题库的第 8 题(Google DeepMind,CC BY 4.0),保留英文原文。
AI 做了什么
AlphaEvolve 找到了一个改进当时最好已知界的构造;问题本身仍未解决。问题库中的状态:新结果。此后纪录可能已有变化,下面问题库的注释列出了它所知的最新界。
问题库中的注释(英文原文)
Henry Cohn maintains a list of record upper and lower bounds for kissing numbers.
Some new kissing number constructions in medium dimensions were recently constructed (with AI assistance) in this recent paper.
如何验证
这些结果都是明确的构造或程序;问题库中的 notebook 附有用来打分的验证代码。
局限
改进一个界是进展,而不是解答:问题的确切答案仍然未知。作者也报告说,由专家设置和引导搜索时效果更好。
∎