AlphaEvolve właśnie pomógł udowodnić nowe twierdzenia w teorii złożoności AlphaEvolve od Google DeepMind dokonał prawdziwych przełomów w teoretycznej informatyce. Zamiast generować pełne dowody, odkrył nowe struktury kombinatoryczne, które wpasowują się w istniejące ramy dowodowe, prowadząc do zweryfikowanych, publikowalnych twierdzeń w teorii złożoności. Zespół poprawił granicę nieprzybliżalności dla MAX-4-CUT i znalazł ogromne grafy Ramanujana, które nigdy wcześniej nie były widziane, wszystko z udowodnioną poprawnością.