AlphaEvolve刚刚帮助证明了复杂性理论中的新定理 谷歌DeepMind的AlphaEvolve在理论计算机科学领域取得了真正的突破。 它不是生成完整的证明，而是发现了新的组合结构，这些结构可以融入现有的证明框架，从而导致在复杂性理论中得到验证的、可发表的定理。 团队改善了MAX-4-CUT的不可近似性界限，并发现了前所未见的大规模拉马努金图，所有这些都有可证明的正确性。