AlphaEvolve лише допомогла довести нові теореми в теорії складності AlphaEvolve від Google DeepMind щойно здійснив справжній прорив у теоретичній інформатиці. Замість того, щоб генерувати повні докази, він виявив нові комбінаторні структури, які підключаються до існуючих рамок доведення, що призводить до верифікованих, опублікованих теорем у теорії складності. Команда покращила межу неприпустимості для MAX-4-CUT і знайшла масивні графіки Рамануджана, яких ніколи раніше не бачили, і все це з доведеною правильністю.