生成式 AI 协助构造一族扭曲 Haagerup–Izumi 双的顶点算子代数实现，作者仍在独立核验

Andrew Riesen 与 David E. Evans 于 10 月 23 日公开构造性量子代数手稿：对每个奇数 N≥3，给出带 Haagerup–Izumi 融合规则的球面融合范畴及具有明确模性质的顶点算子代数，使后者模范畴等价于前者的 Drinfeld 中心。研究使用 Virasoro 扩张、共形移位的 E7 格顶点代数与 simple-current extension，声称所得模型有中心荷 −6N²−10、有效中心荷 8 与 N²+3 个不可约模。作者披露 AI 参与发展论证和撰写大量文本，人类作者修订整理，但部分 AI 辅助推导尚未完成独立人工验证；未声称整篇已由 Lean kernel 形式证明或经过同行评议。