Thomas Hales × GPT-6 Astra 提出 8、24 维球堆积 magic functions 的另类构造，未独立解决全局符号不等式

Thomas Hales 于 10 月 18 日公开由 ChatGPT-6 Astra 在其提示下生成的研究稿：对 8、24 维 Cohn–Elkies 线性规划的径向 Schwartz 辅助函数，尝试以绝对可和系数上的无限线性方程组构造指定零点，经模曲线上的秩六全纯向量丛与 Riemann–Roch 证明归一化后的存在唯一性。文本明确承认所需的全局符号不等式没有从新系数方程独立导出，而是与 Viazovska 等已知 magic functions 认同后继承；因此这是一条新构造途径的未独立验证研究主张，不是重新独立证明球堆积极值。Hexagon 标注作者理解部分内容，正文由 Astra 生成。