本文探讨了如何利用人工智能技术发现新的组合结构,以改进现有高效算法的局限性。具体而言,我们使用 AlphaEvolve(一个 LLM 编码代理)研究了最大割集 (MAX-CUT) 和最大独立集 (MAX-Independent Sets) 的平均情况难度,以及最大k割集 (MAX-k-CUT) 的最坏情况近似难度。由此,我们改进了最大割集 (MAX-CUT) 和最大独立集 (MAX-Independent Sets) 认证算法的上下界,并获得了最大4割集 (MAX-4-CUT) 和最大3割集 (MAX-3-CUT) 的新的非近似概率结果。此外,我们提出了一种利用 AlphaEvolve 有效改进验证流程的方法。