Un año de trabajo de dos matemáticos españoles frente a 88 horas de OpenAI: “Sin nuestra idea, la IA no lo habría resuelto”