GPT-6 Pro 辅助反驳四项 Tutte 多项式相关命题：置换不等式及删边比值猜想

Jungang Chen 于 10 月 21 日公开另两篇 AI 辅助组合学反例研究。针对 Csikvári 的置换 Tutte 多项式不等式，他构造最小度与点连通度均可任意高的平衡二部图族，两个轴值乘积趋于 0，并给出 1000 顶点精确有理数证书。针对 Ok 关于 Tutte 多项式删边比值的三项猜想，文稿给出 16 顶点平面 chordal 2-tree 和五边 diamond 图的显式违反案例，并推广到高连通图族。两篇贡献于同一 AI-assisted 反例探索，但**不等价于推翻所有 Merino–Welsh 图/拟阵原始不等式**；代码精确计算、AI 内部审查不代表已完成 Lean 或人类专家独立复核。关联原稿：https://hexagonmath.org/2610.00431v1。