AlphaEvolve tocmai a ajutat la dovedirea unor noi teoreme în teoria complexității AlphaEvolve de la Google DeepMind tocmai a făcut progrese reale în informatica teoretică. În loc să genereze demonstrații complete, a descoperit noi structuri combinatorii care se conectează la cadrele de demonstrație existente, ducând la teoreme verificate și publicabile în teoria complexității. Echipa a îmbunătățit inproximabilitatea pentru MAX-4-CUT și a găsit grafice Ramanujan masive nemaivăzute până acum, toate cu o corectitudine dovedită.