Documentos de Académico
Documentos de Profesional
Documentos de Cultura
441–447 441
una fase, que me parece muy bonito (y además podemos incluir modelos un poco
más «complicados» en su no linealidad, como el de Alt-Phillips).
JS: ¿Por qué elegiste dedicarte a la matemática? ¿Qué te motiva dia-
riamente a dedicar grandes esfuerzos a importantes retos matemáticos?
¿Y cómo eliges estos retos?
XFR: Las matemáticas son una ciencia. . . especial. Es la única ciencia en la
que los avances son para siempre: un resultado bien demostrado será cierto hasta
que el universo se acabe. Trabajamos solamente con nuestras ideas, tenemos mucha
libertad intelectual. Y las jerarquías, según mi experiencia hasta ahora, tienen poca
importancia en la investigación: lo que más importa es lo que digas, y no quién eres.
Aunque a menudo pueda resultar frustrante llegar a obtener un resultado, es un
ámbito que prima la libertad del investigador. Todo esto lo hace particularmente
atractivo como forma de ganarse la vida, al menos, desde mi punto de vista. Dicho
esto, me siento obligado a añadir que muchas veces se usa esta parte vocacional
de la investigación (no solamente en matemáticas) para tener a trabajadores en
condiciones precarias en las universidades españolas.
Mi principal motivación es siempre la curiosidad. Poder estar siempre aprendien-
do y, todavía hoy, darme cuenta cada día de que hay más cosas que desconozco de
lo que creía. Este mar infinito de conocimiento que nunca alcanzaré del todo es lo
que más me motiva para afrontar nuevos retos.
Por último, la elección de los retos es una parte difícil de nuestro trabajo, ¿no?
Hasta ahora me he guiado bastante por los investigadores de mi alrededor para
entender qué problemas eran simultáneamente interesantes y factibles. Pero cada
vez más puedo encontrarlos yo mismo y, hasta ahora, siempre ha ocurrido un poco
por casualidad: intentando responder una pregunta sencilla, te das cuenta de que
hay mucho más detrás de lo que pensabas, y a veces puedes relacionarlo con otras
áreas que has estudiado antes.
JS: ¿Si tuvieras que elegir un problema que te encantaría resolver en
los próximos cinco años, cuál sería?
XFR: Soñando a lo grande, me gustaría poder demostrar que los minimizantes
(o soluciones estables) del problema de Bernoulli de una fase siempre se pueden
aproximar por minimizantes (únicos) con fronteras libres completamente regulares.
Otro problema que sería muy interesante poder resolver sería probar que, en tres
dimensiones, las soluciones estables globales del problema de una fase de Bernou-
lli son necesariamente unidimensionales: esto implicaría una cota universal para la
regularidad de la frontera libre en tres dimensiones para soluciones estables.
JS: Hiciste la tesis con el medalla Fields Alessio Figalli, en ETH Zürich.
Después un postdoc con la fulgurante Maria Colombo, en EPF Lausanne.
¿Cómo es trabajar con ellos?
XFR: Absolutamente genial. Creo que elegirlos como mentores ha sido posible-
mente una de las mejores decisiones que he tomado en mi vida académica. Además
de su excepcional calidad profesional y de lo mucho que he aprendido de ellos, la
La Gaceta ⋆ Noticias de la Sociedad 445
cuántas iteraciones de actualización de los pesos debemos hacer para tener un resul-
tado razonable, o conocer un valor cuantitativo de la medida de aproximación del
resultado obtenido. Es un mundo muy interesante, y estoy seguro de que los ma-
temáticos podemos aportar muchísimo. Pero debemos afrontarlo con humildad: los
avances conseguidos en el entendimiento de redes neuronales son realmente espec-
taculares, con teorías matemáticamente muy profundas, muchas veces desarrolladas
por investigadores que no se identifican como matemáticos.
JS: Y hablando de neural networks, a la vista de los últimos avances en
modelos de lenguaje (ChatGPT, Bard, Bing IA, etc.), ¿cómo te imaginas
tu oficio de investigador y profesor de matemáticas dentro de una o dos
décadas?
XFR: Una pregunta difícil. . . A nivel docente, me parece una (potencialmente)
buena alternativa para los estudiantes: disponible las 24 horas, con paciencia infinita,
y dispuesto a responderlo todo. Pero, basándome en mi experiencia, es de momento
un poco peligrosa: muchos estudiantes no cuestionan las respuestas que obtienen,
y muchas veces no se dan cuenta cuando les contestan algo que no tiene ningún
sentido. Sin embargo, tengo la esperanza de que en el futuro pueda llegar a ser una
herramienta útil para los estudiantes, y me gustaría pensar que ayudará a mejorar el
mundo de la enseñanza, ofreciendo un plan de estudios más personalizado atendiendo
a las necesidades de cada alumno. No creo que desplace el trabajo del profesor, pero
creo que el docente debe adaptarse a los nuevos tiempos e intentar maximizar la
utilidad de lo que la tecnología ofrezca.
A nivel de investigación, de momento, hablando un poco con ChatGPT o Bard
no parece que estén cerca de realizar avances matemáticos significativos, al menos a
corto plazo. Hay que recordar que se tratan solamente de modelos de lenguaje, y a
nivel lógico todavía están en un estadio bastante primitivo. Más interesante me pare-
cería complementarlo con modelos de deducción automática (conocidos como ATP,
siglas de Automated Theorem Proving), que algún día podrán demostrar teoremas
relevantes y nuevos, que ningún matemático haya podido probar antes.
Pero de momento creo que debemos esperar y ver hasta hacia dónde evolucio-
na e, igual que en el caso de los docentes, intentar adaptarnos e incorporar dicha
herramienta a nuestra vida investigadora, si algún día llega a estar a la altura. En
cualquier caso, a mí personalmente, como matemático y dentro de las matemáticas,
me plantea un dilema moral: supongamos que sabemos demostrar que un algorit-
mo produce siempre afirmaciones verdaderas. Es decir, tenemos un programa que
produce enunciados ciertos, y tenemos una demostración de dicho hecho. Si este pro-
grama nos dice que, por ejemplo, la hipótesis de Riemann es cierta, pero nos da un
argumento tan fuera del alcance del ser humano que ningún matemático (de carne y
hueso) puede verificarlo, ¿debemos entonces considerar dicho enunciado como cier-
to? Es decir, ¿van las matemáticas más allá de la verificación formal de enunciados?
Una vez no podamos entender la demostración, habremos perdido la esencia de las
matemáticas y, al menos, su conexión con el ser humano. Pero el área existe más
allá de nosotros, ¿no?
La Gaceta ⋆ Noticias de la Sociedad 447
Joaquim Serra, ETH Zürich, Department of Mathematics, Rämistrasse 101, 8092 Zürich,
Suiza
Correo electrónico: joaquim.serra@math.ethz.ch
Página web: https://people.math.ethz.ch/~serraj/