Claude Code 辅助推翻 Grundy domination 数强积乘法性猜想，公开 21 顶点显式图与 Lean 工件

Deep Bhattacharjee 于 10 月 23 日发布具体图论反例：选取 octahedron 与一个 21 顶点、Grundy domination number 为 10 的图 H，其强积具有至少 21 的 Grundy domination number，因此不能满足原猜想的乘法关系 γ_gr(G⊠H)=γ_gr(G)γ_gr(H)。论文针对 Brešar 等人的 Conjecture 22，并提供显式图、搜索程序和作者声称的 Lean 4 证明；Claude Code/Opus 5.5 负责计算、证明程序和初稿，作者审批最终结论。该反例不是对其他 domination 变种乘法性质的全盘否定，尚无独立审稿。