Hannah Cairo, de 17 años, derriba con un contraejemplo una conjetura matemática de 40 años
(english.elpais.com)- La conjetura de Mizohata-Takeuchi, considerada verdadera durante décadas en análisis armónico, quedó demostrada como no universal gracias a un contraejemplo de Hannah Cairo, de 17 años
- Como si la conjetura fuera cierta habría respaldado automáticamente varios resultados importantes del campo, su refutación sacude con fuerza las expectativas de la investigación existente
- Cairo conoció originalmente la conjetura a través de una tarea optativa en una clase de UC Berkeley y, tras intentar demostrarla durante varios meses, cambió de rumbo para construir un contraejemplo aprovechando la estructura de la dificultad
- El contraejemplo usó varias herramientas, incluidos fractales, y más tarde, al volver a mirar el problema en el espacio de frecuencias, también encontró una forma más simple de diseñarlo
- Tras lograr un resultado de investigación antes de terminar la preparatoria, Cairo comenzará este otoño un doctorado en la University of Maryland bajo la dirección de Zhang
La conjetura de Mizohata-Takeuchi refutada por una joven de 17 años
- Hannah Cairo intentó demostrar la conjetura durante varios meses, pero al entender por qué la demostración era difícil, concluyó que podía usar esa estructura para crear un contraejemplo
- Después de varios fracasos, construyó un caso que no satisfacía la propiedad estudiada, y ese caso mostró que la afirmación no era universalmente verdadera
- La construcción del contraejemplo requirió varias herramientas, incluidos fractales, y cada elemento tuvo que colocarse con muchísimo cuidado
- También le tomó tiempo convencer a Ruixiang Zhang de que su propuesta efectivamente era correcta
Por qué es importante en análisis armónico
- El problema que resolvió Cairo es la conjetura de Mizohata-Takeuchi, planteada por primera vez en los años 80 y trabajada durante décadas por investigadores de análisis armónico
- Esta conjetura, ampliamente considerada verdadera, habría permitido verificar automáticamente varios resultados importantes del campo si se cumpliera
- El análisis armónico es el campo que descompone funciones en componentes más simples, como ondas sinusoidales
- compresión de archivos digitales de audio y video
- diseño de sistemas de comunicación
- comprensión de diversos fenómenos físicos y matemáticos
La intuición detrás de la teoría de Fourier y la conjetura
- El análisis armónico se originó a comienzos del siglo XIX, cuando Joseph Fourier estudió la ecuación del calor para explicar la difusión del calor dentro de los sólidos
- La idea central de Fourier era descomponer funciones complejas en sumas de senos y cosenos, una técnica conocida como series de Fourier
- Cairo explica que en análisis armónico todo está hecho de ondas, y que si se usan suficientes ondas se puede construir cualquier cosa
- La Fourier restriction theory estudia qué objetos pueden construirse usando solo un conjunto limitado de ondas
- Según la explicación de Cairo, la conjetura de Mizohata-Takeuchi sostenía que, si se usan solo ciertos tipos de ondas, aparece una forma compuesta por líneas
Una investigación nacida de una tarea de clase
- Cairo nació en Nassau, Bahamas, y tras mudarse a Estados Unidos ingresó al sistema educativo como estudiante de preparatoria, pero tomó clases en UC Berkeley
- Les contó a profesores sobre los libros que había leído en sus áreas de interés y pidió asistir a sus clases; varios, incluido Zhang, se lo permitieron
- Un día, Zhang dejó como tarea demostrar un caso especial mucho más simple de la conjetura, e incluyó también la conjetura original como ejercicio optativo
- Cairo se obsesionó con ese problema optativo y, tras intentar probarlo, pasó a construir un contraejemplo
- Después de obtener su primer contraejemplo, reformuló todo el problema en el espacio de frecuencias y, tras observar cómo se veía su construcción, encontró una forma más simple de diseñar otro
El congreso en El Escorial y su primera presentación internacional
- Cairo asistió del 9 al 13 de junio al 12th International Congress on Harmonic Analysis and Partial Differential Equations, celebrado en la residencia San José de El Escorial
- El evento fue organizado por el Institute of Mathematical Sciences y la Autonomous University of Madrid, y es conocido como los El Escorial Meetings
- A lo largo de casi 50 años de historia, se ha convertido en uno de los encuentros más prestigiosos del área
- Para Cairo, fue su primer viaje científico internacional, y también dio una presentación incluida en el programa del congreso
- Cairo dice que le gusta hablar frente al público y que a veces también disfruta enseñar a estudiantes mayores que ella
Cómo aprendió matemáticas y cuál es su siguiente paso
- Cairo empezó desde pequeña a leer por su cuenta libros de matemáticas complejas
- Al principio pensó que se dedicaría a la teoría de números, y recuerda que a los 13 o 14 años escribió un artículo de teoría de números, aunque trataba un problema que no le interesaba a nadie
- Durante la pandemia de COVID-19, el campamento de verano de Berkeley Math Circle se realizó en línea, lo que permitió a Cairo participar desde Bahamas
- Math Circle es un programa en el que estudiantes preuniversitarios colaboran para resolver problemas matemáticos difíciles
- Cairo lo ve no como la matemática escolar basada en memorizar, sino como una actividad para explorar y compartir ideas con amigos
- El director del programa reconoció el extraordinario talento matemático de Cairo y después la invitó como instructora
- Este otoño, Cairo comenzará un doctorado en la University of Maryland y continuará investigando bajo la dirección de Zhang
- El Mathematics Intensive Programme del ICMAT en España también busca descubrir y apoyar a jóvenes matemáticos prometedores
1 comentarios
Opiniones de Hacker News
https://archive.is/Nr1hH
Hay un video donde Hannah Cairo explica la conjetura y sus resultados [1]
Además, Terence Tao insinuó hace poco algunos avances adicionales [2], y me pregunto si alguien sabe más
[1]: https://www.youtube.com/watch?v=3ZeH_8sTyKA
[2]: https://mathstodon.xyz/@tao/114003793236630744
Yo también uso un método de clase parecido con una tablet, pero su presentación es muchísimo mejor que la mía. Es realmente hermosa
El paper está aquí: https://arxiv.org/abs/2502.06137
En el posgrado tuve la oportunidad de tomar una materia de análisis armónico, pero en ese momento solo estaba relacionada indirectamente con mi investigación, así que la dejé pasar
https://www.nytimes.com/interactive/2025/06/30/science/math-...
En matemáticas, hacer algo original y nuevo a cualquier edad es extremadamente difícil
Si lo logró a los 17 años, tiene un talento absurdamente grande. Felicitaciones
“Un día, él puso como tarea demostrar un caso especial mucho más simple de la conjetura, e incluyó la conjetura original como ejercicio opcional”
Aquí hay una lección. Si es posible, hay que darles a las personas la oportunidad de sobresalir
Pensé que, si un problema podía expresarse de forma tan simple, su solución también sería igual de simple, y quise explorar cómo se vería esa solución
A medida que fui creciendo y entendiendo mejor mis capacidades intelectuales, terminé eligiendo resolver problemas prácticos con muchas más probabilidades de éxito y sin nada de revolucionarios
Aun así, fue agradable sentir que me tomaban en serio desde el principio, y creo que es importante intentar resolver problemas difíciles antes de quedar atrapado en el mundo real
¿Qué tan seguido ocurre que alguien más joven descubre algo que normalmente se enseña a personas mayores que él?
Euler tenía 41 años cuando descubrió su famosa identidad, y es de las cosas que se aprenden en la escuela
Newton también tenía 21 años cuando creó el cálculo, así que es contenido que alguien en sus últimos años de adolescencia podría aprender
¿Cuánta diferencia de edad hay en el caso de Galois? Murió a los 20, y creo que eso se enseña más o menos a mitad de la carrera universitaria
Hay más candidatos en la lista de “Child prodigies”
https://en.wikipedia.org/wiki/List_of_child_prodigies
Al mismo tiempo, la persona joven también debe estar extremadamente motivada y tener las cualidades necesarias para lograrlo. Es decir, se necesitan tanto condiciones contextuales como capacidad personal
Puede ser una pregunta tonta, pero si ella empieza el doctorado este otoño, ¿no es que ya logró el objetivo?
Me pregunto cuál es la justificación teórica para esperar que alguien que resolvió un problema de décadas haga “algo más” para demostrar que expandió las fronteras del conocimiento humano.
Haber resuelto un problema muy difícil no significa que ya no necesite esa formación. En especial, un contraejemplo puede ser más complicado, porque a veces es cuestión de talento puro y suerte más que de técnica.
Si quiere obtener el doctorado y quedarse en la academia, el siguiente paso es un postdoc. Resolver un solo problema no necesariamente demuestra que tenga una agenda de investigación clara ni capacidad de publicar de forma constante, que son necesarias para conseguir un buen puesto de postdoc.
Es difícil imaginar que la contraten como profesora siendo tan joven. No parece mala idea que siga unos años más con colaboraciones productivas y que reciba mentoría también en las partes no matemáticas necesarias para convertirse en matemática.
Tal vez a ella le interese esa parte. O quizá haya lugares que ofrezcan doctorados basados en artículos publicados, como algunas universidades en la UE.
Podría graduarse reuniendo su artículo del contraejemplo (https://arxiv.org/pdf/2502.06137) como tesis doctoral. A veces incluso es posible sin director de tesis.
Hannah básicamente ya hizo lo que muchos doctores no logran: una nueva contribución de investigación.
Hablando solo del caso de EE. UU., los doctorados recientes se enfocan sobre todo en a) preparación académica, incluidas clases y muchas materias, y b) investigación orientada a puestos en la industria. Para muchos de mis compañeros de China o India, era una vía hacia empleos en EE. UU.
Estoy de acuerdo en que un doctorado debería concentrarse puramente en la investigación y en expandir el conocimiento humano. Pero en la práctica se parece más a un negocio donde los estudiantes van a conferencias a promocionar la investigación de sus asesores, las universidades consiguen docentes baratos en forma de ayudantes, y muchos estudiantes promedio escriben papers incrementales del tipo “cambiemos esto un poco y veamos cómo cambian los resultados” para conseguir puestos de I+D.
El trabajo de Hannah me impresionó muchísimo, y creo que muestra bien ese carácter altruista de la investigación que hoy se ha perdido bastante. He visto demasiadas veces a personas que no quieren entrar a una academia donde se respeta resolver problemas imposibles, y que eligen la ruta de doctorado de menor resistencia para acelerar su carrera.
Puede ser natural que cada quien maximice su beneficio, pero hay que recordar que el descubrimiento a menudo depende de perseguir de forma altruista problemas difíciles y lo imposible. Esto es una opinión personal basada en lo que vi entre mis compañeros y en más de 30 conferencias.
Es increíblemente talentosa, pero el hecho de que un resultado así venga de una adolescente no me sorprende en sí mismo.
Los grandes descubrimientos matemáticos a menudo vinieron de gente de veintitantos, y cuanto más grande el descubrimiento, más tiende a inclinarse hacia los veintipocos y los adolescentes. Creo que es porque las matemáticas puras son un campo muy creativo.
Además, optimiza el sistema para el pensamiento de corto plazo en vez de las apuestas largas. Hay excepciones, como los institutos de investigación, pero por eso creo que los jóvenes tienen la mente más despejada.
Por ejemplo, Andrew Wiles demostró el último teorema de Fermat cuando tenía más de 40 años, y hay muchos matemáticos productivos de mayor edad.
Además, estas afirmaciones parecen sesgadas hacia los grandes problemas llamativos. Crear marcos matemáticos, encontrar intuiciones estructurales y descubrir conexiones entre áreas alejadas requiere no solo concentración juvenil, sino también una experiencia amplia.
Si hablamos del caso más reciente de una contribución importante hecha en los 20, quizá sería Évariste Galois, alrededor de la Revolución francesa.
¿Adolescentes? Para nada. Creo que prácticamente nunca ha pasado.
https://en.m.wikipedia.org/wiki/Einstellung_effect
¿Alguien tiene el enlace al artículo de teoría de números que dicen que escribió primero?
Tengo dudas sobre su contraejemplo. Parece usar métodos asintóticos de manera bastante laxa.