AlphaEvolve auttoi juuri todistamaan uusia kompleksisuusteorian teoreemoja Google DeepMindin AlphaEvolve teki juuri todellisia läpimurtoja teoreettisessa tietojenkäsittelytieteessä. Sen sijaan, että se olisi tuottanut täydellisiä todistuksia, se löysi uusia kombinatorisia rakenteita, jotka kytkeytyvät olemassa oleviin todistuskehyksiin, mikä johti todennettuihin, julkaistaviin kompleksisuusteorian teoreemoihin. Ryhmä paransi MAX-4-CUT:lle sidottua likimääräisyyttä ja löysi massiivisia Ramanujan-kaavioita, joita ei ole ennen nähty, kaikki todistettavasti oikeellisina.