AlphaEvolve bidro nettopp til å bevise nye teorem innen kompleksitetsteori Google DeepMinds AlphaEvolve har nettopp gjort virkelige gjennombrudd innen teoretisk informatikk. I stedet for å generere fullstendige bevis, oppdaget den nye kombinatoriske strukturer som kobles til eksisterende bevisrammeverk, noe som førte til verifiserte, publiserbare teoremer i kompleksitetsteori. Teamet forbedret uomtrentligheten bundet til MAX-4-CUT og fant massive Ramanujan-grafer som aldri er sett før, alle med beviselig korrekthet.