AlphaEvolve acaba de ajudar a provar novos teoremas na teoria da complexidade O AlphaEvolve do Google DeepMind acaba de fazer avanços reais na ciência da computação teórica. Em vez de gerar provas completas, descobriu novas estruturas combinatórias que se conectam às estruturas de prova existentes, levando a teoremas verificados e publicáveis na teoria da complexidade. A equipe melhorou a inaproximabilidade vinculada ao MAX-4-CUT e encontrou gráficos Ramanujan massivos nunca vistos antes, todos com exatidão comprovável.