AlphaEvolve acaba de ayudar a probar nuevos teoremas en la teoría de la complejidad AlphaEvolve de Google DeepMind acaba de hacer verdaderos avances en la informática teórica. En lugar de generar pruebas completas, descubrió nuevas estructuras combinatorias que se conectan a los marcos de prueba existentes, lo que lleva a teoremas verificados y publicables en la teoría de la complejidad. El equipo mejoró la inaproximabilidad vinculada a MAX-4-CUT y encontró gráficos masivos de Ramanujan nunca antes vistos, todos con una corrección demostrable.