发表机构
Universität zu Köln（科隆大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明欧几里得格覆盖半径问题属于多项式谱系第二层完全，并记录了作者首次使用生成式AI进行数学研究的实验。
AI 中文摘要
本文证明了欧几里得格的覆盖半径问题对于多项式谱系的第二层是完全的。本文还记录了作者首次将生成式人工智能作为数学研究工具的实验。
英文摘要
In this note, we prove that the covering radius problem for Euclidean lattices is complete for the second level of the polynomial hierarchy. The note also documents the author's first experiment with generative AI as a tool for mathematical research.
Comments9 pages
