Claude Opus 5.5 与 GPT-6 Pro 提出证明图无法 graceful labeling 的通用阻碍工具及多个新图族

Boon Suan Ho 在 Hexagon 发表 AI 深度参与的图标号研究，从同一个生成函数恒等式发展模单位根剩余类、单位圆正性 / Goemans–Williamson 最大割半定规划，以及稠密子图标签跨度三类非 graceful 证明工具。文章据此提出 Paley、Kneser、edge-transitive 与高阶正则图等新排除家族，并分析正性方法的能力边界。作者披露 Claude Opus 5.5 执行论文写作、探索和精确计算，GPT-6 Pro 参与部分结果；作者未逐条审阅全部证明，也不把模型间互审当作外部专家评审。