AlphaEvolve 剛剛幫助證明了複雜性理論中的新定理 Google DeepMind 的 AlphaEvolve 剛剛在理論計算機科學領域取得了真正的突破。 它不是生成完整的證明，而是發現了新的組合結構，這些結構可以融入現有的證明框架，從而導致可驗證的、可發表的複雜性理論定理。 團隊改善了 MAX-4-CUT 的不可近似性界限，並發現了前所未見的大型 Ramanujan 圖，所有這些都有可證明的正確性。