AlphaEvolveは複雑性理論における新しい定理の証明に役立ったばかりです Google DeepMind の AlphaEvolve は、理論的なコンピューター サイエンスにおいて真のブレークスルーをもたらしました。 完全な証明を生成する代わりに、既存の証明フレームワークにプラグインする新しい組み合わせ構造を発見し、複雑性理論における検証済みの公開可能な定理につながりました。 チームは、MAX-4-CUTの近似性制限を改善し、これまでに見たことのない巨大なラマヌジャングラフを発見しました。