AlphaEvolve ha appena aiutato a dimostrare nuovi teoremi nella teoria della complessità AlphaEvolve di Google DeepMind ha appena fatto veri progressi nella scienza informatica teorica. Invece di generare prove complete, ha scoperto nuove strutture combinatorie che si integrano nei framework di prova esistenti, portando a teoremi verificabili e pubblicabili nella teoria della complessità. Il team ha migliorato il limite di approssimabilità per MAX-4-CUT e ha trovato enormi grafi di Ramanujan mai visti prima, il tutto con correttezza dimostrabile.