Diego Córdoba and Luis Martínez‑Zoroa’s research is the foundation of the announcement that artificial intelligence has solved one of the greatest enigmas in history. Both believe the achievement will radically change the discipline