AlphaEvolve právě pomohl dokázat nové věty v teorii složitosti AlphaEvolve od Google DeepMind právě učinil skutečný průlom v teoretické počítačové vědě. Namísto generování úplných důkazů objevil nové kombinatorické struktury, které se zapojují do existujících důkazových rámců, což vede k verifikovaným, publikovatelným teorémům v teorii složitosti. Tým vylepšil nepřiblížení vázanou na MAX-4-CUT a našel masivní Ramanujanovy grafy, které dosud nebyly viděny, a to vše s prokazatelnou správností.