本文探讨了如何利用人工智能 (AI) 发现新的组合结构,从而改进高效算法的局限性。具体而言,我们使用 LLM 编码代理 AlphaEvolve 研究了 MAX-CUT 和 MAX-Independent Set 的平均情况难度,以及 MAX-k-CUT 的最坏情况近似难度。利用 AlphaEvolve,我们获得了 3 和 4 正则图的 MAX-CUT 和 MAX-Independent Set 认证算法的近似最优上界和下界,并发现了新的小工具约简方法,从而获得了 MAX-4-CUT 和 MAX-3-CUT 的新的非近似结果。