AlphaEvolve har precis hjälpt till att bevisa nya teorem inom komplexitetsteori Google DeepMinds AlphaEvolve har precis gjort verkliga genombrott inom teoretisk datavetenskap. I stället för att generera fullständiga bevis upptäckte den nya kombinatoriska strukturer som ansluts till befintliga bevisramverk, vilket leder till verifierade, publicerbara teorem inom komplexitetsteorin. Teamet förbättrade approximabiliteten för MAX-4-CUT och hittade massiva Ramanujan-grafer som aldrig tidigare skådats, alla med bevisbar korrekthet.