Y el problema número 3 de Erdos ha sido resuelto por GPT-5.2 pro (#379). Fue aceptado por Terence Tao. Creo que los últimos días han sido el momento de "despegue" para la ciencia de la IA.