Los matemáticos españoles cuyo trabajo permitió a OpenAI resolver un problema del milenio: «Unos meses más y dábamos un resultado»

Es difícil adivinar las emociones de alguien a quien no se conoce en una llamada telefónica, pero los matemáticos Diego Córdoba (Madrid, 1971), del Instituto de Ciencias Matemáticas( ICMAT) y, Luis Martínez Zoroa (Murcia, 1994), de CUNEF Universidad, parecen entusiasmados, ilusionados y al mismo tiempo abrumados por tanta atención mediática.

Lo reconocen: «Nunca nadie nos había prestado tanta atención».

El trabajo de estos dos investigadores, llevado a cabo durante más de un lustro, sentó las bases teóricas que utilizaron 10.000 agentes de OpenAI para, presuntamente, resolver en cuestión de días las ecuaciones de Navier Stokes , uno de los Problemas del Milenio, un conjunto de grandes preguntas matemáticas casi en el filo de lo imposible, cada una de ellas premiada con un millón de dólares.

El anuncio, llevado a cabo el pasado martes, les pilló completamente por sorpresa. «Estaba durmiendo y el teléfono no dejaba de vibrar.

A las siete de la mañana me levanté enfadado. ¿Qué horas son estas de estar llamando? Me hice un café y cuando abrí el ordenador vi que tenía muchísimos correos de Estados Unidos.

Entonces me di cuenta de que las llamadas también eran de allí.

Me puse al día de todo y llamé a Luis», recuerda Córdoba, sin que los nervios de esos primeros momentos le hayan abandonado del todo.Martínez Zoroa, antiguo estudiante de doctorado de Córdoba, recibió la noticia «un poco en estado de shock».

Sin saber muy bien cómo reaccionar, salió corriendo a la universidad para dar una clase que debió de hacérsele eterna: «Dos horas intentando concentrarme en lo que les contaba a mis alumnos».

Después, ambos matemáticos se encontraron en la sede del ICMAT para tener una conversación que, reconocen, jamás soñaron.Nada sospechosoEn tan poco tiempo, los investigadores solo han podido echar «un vistazo superficial» al artículo de OpenAI, que tiene 165 páginas y está escrito «de una forma a la que no estamos acostumbrados».

Hasta donde han podido comprobar, no han visto nada que les hay parecido «sospechoso».

Algunos puntos «recuerdan a las ideas en las que hemos trabajado y otros, menos.

Vamos a ver qué somos capaces de sacar en claro en las próximas semanas», señalan.

A su juicio, una empresa «que se juega tanto debe de estar bastante segura de lo que presenta».

Su solución fue verificada formalmente en el lenguaje de programación Lean, lo que respalda que sea correcta.