GPT-5-Pro resolvió, en solo 15 minutos (sin ninguna búsqueda en Internet), el problema de presentación conocido como "Problema 554 de Yu Tsumura". Este es el primer modelo que resuelve esta tarea por completo. Espero más resultados de este tipo pronto: el modelo demuestra una fuerte comprensión del razonamiento elemental de álgebra abstracta.