Encantado de compartir nuevos avances en IA para Matemáticas @GoogleDeepMind . En combinatoria extremal, AlphaEvolve ha ayudado a establecer nuevos límites inferiores para CINCO números clásicos de Ramsey, un problema tan desafiante que incluso Erdős comentó sobre su dificultad. Históricamente, derivar computacionalmente estos límites requería algoritmos de búsqueda personalizados diseñados por humanos. Para muchos de estos límites, los mejores resultados previos tienen al menos una década de antigüedad. AlphaEvolve cambia esto actuando como un único meta-algoritmo que descubre automáticamente los procedimientos de búsqueda necesarios para encontrar estos nuevos límites. 📷