Feliz 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 de Ramsey clásicos, 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 diseñados a medida por humanos. Para muchos de estos límites, los mejores resultados anteriores tienen al menos una década de antigüedad. AlphaEvolve cambia esto al actuar como un único meta-algoritmo que descubre automáticamente los procedimientos de búsqueda necesarios para encontrar estos nuevos límites. 📷