AlphaEvolve Acabou de Ajudar a Provar Novos Teoremas na Teoria da Complexidade O AlphaEvolve da 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 encaixam em estruturas de prova existentes, levando a teoremas verificados e publicáveis na teoria da complexidade. A equipe melhorou o limite de inaproximabilidade para MAX-4-CUT e encontrou enormes grafos de Ramanujan nunca vistos antes, tudo com correção provada.