拉姆齊數

深度分析

AlphaEvolve：LLM驅動的元演化搜尋提升拉姆齊數下界

研究聚焦拉姆齊數的計算下界；論文用AlphaEvolve（一種以大型語言模型驅動的程式碼變異代理人）自動演化搜尋演算法，對圖生成與驗證採用雙重候選評分機制，成功把多個已知下界再提升一級，並在多數情況恢復或匹配最優下界。該方法同時展示了LLM在發現數學搜尋策略上的潛力與可複現性挑戰。