AlphaEvolve acaba de ayudar a demostrar nuevos teoremas en teoría de la complejidad. AlphaEvolve de Google DeepMind acaba de lograr avances reales en la ciencia de la computación teórica. En lugar de generar pruebas completas, descubrió nuevas estructuras combinatorias que se integran en marcos de prueba existentes, lo que lleva a teoremas verificados y publicables en teoría de la complejidad. El equipo mejoró el límite de inaproximabilidad para MAX-4-CUT y encontró enormes gráficos de Ramanujan nunca antes vistos, todo con corrección demostrable.