AI证明了Imbalance猜想并推翻了Teschner的bondage-number猜想

大家好，我是一名四年级本科生，正在理论计算机科学领域学习和研究。在看到AI在数学领域，尤其是图论方面的最新进展后，我订阅了ChatGPT Pro，想看看AI能否解决一些我觉得有趣的图论问题。经过几天的测试，GPT-5.6 Sol Max解决了图论中的两个开放问题：Imbalance猜想（已开放12年以上）和Teschner的bondage-number猜想（已开放30年以上）。我独立验证了这两个结果，并请一位专攻图论的朋友也进行了检查。我将两者都提交到了arXiv，但他们对我的新账户施加了每个日历月只能提交一篇的限制，之后撤下了其中一篇。我不想再等一个月才发布这一消息，于是将两者提交到了另一个平台。结果链接如下：《Imbalance猜想的一个证明》和《Teschner的bondage-number猜想的一个反例》。这些是预印本，尚未经过同行评审。此外，这里是完整对话：Imbalance猜想、Teschner的bondage-number猜想。