Claude Code 辅助反驳 Graffiti.pc 的六项图论猜想：五项支配数猜想及最大诱导森林界

Deep Bhattacharjee 于 10 月 23 日公开两篇关于 Graffiti.pc 计算机辅助猜想集 Written on the Wall II 的图论反例。其一针对 Conjectures 319、352、358、359、427，给出 caterpillar 与 complete-graph 拼接产生的无限反例家族，部分参数差距无界；其二否定 Conjecture 66 关于连通图最大诱导森林数的平均度与补图度数众数下界，并声称对不同定义解释均构造无界违反。两篇均由作者选题与定稿，Claude Code/Opus 5.5 参与发现、精确枚举、checker、Lean 4 证明和初稿，已有版本化代码发布。尚未由 Radar 独立重跑程序或进行专家验证；作为同一 Graffiti.pc 主题系列合并为一条事件，另一来源为 https://hexagonmath.org/2610.00501v1。