El mundo matemático está que arde.
¿Una conjetura central que ha atormentado a los mejores matemáticos del mundo durante 22 años fue resuelta por un neurocirujano de Union Medical College?
A través del autoaprendizaje de matemáticas y utilizando ChatGPT 5.6 para ejecutarse de forma autónoma durante 16 horas, puso fin a este caso matemático pendiente de 22 años. Es simplemente surrealista.
El 30 de julio de 2026, el profesor Alex Townsend del Departamento de Matemáticas Aplicadas de la Universidad de Washington, EE.UU., abrió arXiv como de costumbre.
Durante el año anterior, Townsend había desarrollado casi una costumbre obsesiva: cada cierto tiempo le preguntaba a GPT 5.6, intentando que demostrara el famoso caso pendiente en el campo del álgebra lineal numérica: la conjetura de Crouzeix.
En los cientos de intentos anteriores, las respuestas de la IA tenían lagunas lógicas o se estancaban al intentar superar algún lema clave. La humanidad había chocado contra un muro ante esta conjetura durante 22 años completos, y la IA tampoco parecía ser más inteligente.
Sin embargo, este día, la conjetura de Crouzeix, que había atormentado al mundo del álgebra lineal numérica durante 22 años, fue demostrada.
El autor no es un matemático, es Shanmu Jin, médico residente de neurocirugía del Hospital Union Medical College de Pekín.
No tiene una formación formal avanzada en matemáticas; su licenciatura fue en geología, luego obtuvo un doctorado en medicina, y su único asistente fue GPT-5.6.
GPT-5.6 resolvió este problema difícil en una ejecución autónoma de unas 16 horas, sin intervención humana.
Y, en la lista de verificadores, está el propio Michel Crouzeix, la persona que planteó este problema hace 22 años, quien ahora personalmente dio su visto bueno, declarándolo resuelto.
Townsend y Greenbaum, también expertos en este campo, después de revisar el proceso de resolución, solo pudieron describir su sensación con dos palabras: «impresionados».
Cuando un médico residente de Union Medical College aprende matemáticas por sí mismo
El protagonista de la historia se llama Shanmu Jin, investigador postdoctoral y médico residente de neurocirugía en el Hospital Union Medical College de Pekín.
Su currículum no tiene ninguna relación con las matemáticas.
Su especialidad de licenciatura fue geología, luego hizo un cambio de campo a la medicina, obteniendo finalmente un doctorado en medicina. Toda su educación matemática fueron los cursos básicos que cualquier estudiante de ciencias debe tomar.
«Todo el resto del conocimiento matemático lo he aprendido por mi cuenta», escribió con despreocupación el Dr. Jin en un correo electrónico a los autores originales (Alex Townsend y Anne Greenbaum).
¿Por qué un neurocirujano se pondría a masticar una conjetura matemática tan dura?
Todo surgió de un punto de dolor en su investigación clínica y científica: los estudios de ultrasonido transcraneal.
Al intentar hacer que las ondas ultrasónicas atravesaran la compleja estructura craneal humana, se topó de lleno con el vasto campo del «análisis matricial». Durante su autoaprendizaje, vislumbró por casualidad ese nombre tan sonado en el mundo del álgebra lineal numérica: la conjetura de Crouzeix.
La formulación de esta conjetura es excepcionalmente concisa, y la intuición geométrica detrás de su «campo numérico» es extremadamente bella. Esta simplicidad y belleza suprema cautivaron profundamente a este cruzador de fronteras.
Decidió intentarlo. No con deducción tradicional en papel, sino con un modelo de gran lenguaje.
La «constante demoníaca» que atormentó al mundo matemático durante 22 años
¿Por qué estos matemáticos estaban tan impresionados? Primero necesitamos saber lo difícil que es realmente la conjetura de Crouzeix.
En las matemáticas aplicadas modernas y la computación ingenieril, las matrices son el lenguaje universal para describir el funcionamiento de todo.
Desde la superposición de estados en mecánica cuántica, hasta el algoritmo PageRank de la búsqueda de Google, pasando por la iteración de parámetros a gran escala en el entrenamiento de los modelos de lenguaje actuales, en esencia, todas son proyecciones y evoluciones de enormes matrices en el plano complejo.
Sin embargo, el comportamiento de las matrices no normales es extremadamente errático; son como un grupo de bestias temperamentales e impredecibles.
Para domarlas, el matemático francés Michel Crouzeix propuso en 2004 una conjetura maravillosa y de gran intuición geométrica:
Para cualquier polinomio p en el plano complejo y cualquier matriz A, su norma espectral siempre puede estar acotada por su valor máximo en el «campo numérico» W(A).
Y la constante óptima entre estos dos valores es exactamente 2.
Expresado formalmente sería:
Esta desigualdad es extremadamente importante en el mundo de las matemáticas aplicadas.
Si se cumple, podríamos convertir directamente el error de aproximación escalar en el plano complejo en una cota para la norma de funciones matriciales. Esto tiene un significado decisivo para analizar funciones matriciales, el método de iteración GMRES y métodos de subespacios de Krylov, entre otros.
Sin embargo, «demostrar que esta constante es 2» se convirtió en la pesadilla de innumerables matemáticos.
Pero la puerta que conducía a la constante «2» seguía cerrada a cal y canto. Hasta el 30 de julio de 2026.
En 2007, el propio Crouzeix, agotando sus fuerzas, solo pudo demostrar que la desigualdad se cumplía con una constante de 11.08.
Una década después, en 2017, el Instituto Americano de Matemáticas (AIM) incluso organizó en San José un taller especializado de una semana, reuniendo a expertos de primer nivel mundial para discutir enfoques teóricos, evidencia numérica, expansiones matriciales y todo tipo de herramientas. Crouzeix y su colaborador Palencia finalmente redujeron esta constante universal a 2.414.
A partir de entonces, la caja de herramientas matemáticas de la humanidad parecía haber gastado su última gota de aceite.
Hasta que este verano, un «forastero» empuñando un bisturí irrumpió en la escena.
Modificando «indicaciones divinas», ChatGPT corre durante 16 horas
¿Cómo lo logró un médico residente de neurocirugía de Union Medical College con una agenda clínica extremadamente ardua?
El secreto está en la ingeniería de prompts.
El Dr. Jin no trató a la IA como una simple máquina de preguntas y respuestas, sino que la transformó en un vasto instituto virtual de investigación matemática.
Tomó prestado y modificó el famoso prompt que OpenAI usó para abordar la conjetura del Cycle Double Cover, diseñando una estrategia con una visión de gran alcance:
Corte físico de red (privación de dependencias externas): El prompt cortaba explícitamente el acceso del sistema a la red externa pública y a otros contextos externos. No quería que la IA «copiara» de los motores de búsqueda los viejos enfoques fallidos de la historia humana, sino que la obligaba a pensar de forma puramente original, partiendo de axiomas.
Pensamiento multirrama y divergente (rechazo de la convergencia prematura): Exigió a ChatGPT que activara una gran cantidad de «subagentes», permitiéndoles explorar por caminos realmente diferentes. La instrucción advertía severamente: ¡No converjan prematuramente en una misma línea de pensamiento que parezca atractiva!
Auditoría adversarial brutal (modo criar y competir): Las estrategias de demostración candidatas debían someterse repetidamente a un escrutinio adversarial. Una línea de razonamiento solo se descartaba por completo cuando otros agentes lograban encontrar un contraejemplo.
Determinación de persistir hasta el final: El prompt dio una orden terminante: no abandonar bajo ninguna circunstancia hasta obtener una demostración completa capaz de resistir una verificación lógica extrema.
Después de configurar todo esto, el Dr. Jin presionó Enter y luego se volvió a su trabajo, sin intervenir más en todo el proceso.
En el modo de trabajo ChatGPT, GPT-5.6 Sol, como una bestia digital incansable, corrió ininterrumpidamente en el profundo océano de las matemáticas durante aproximadamente 16 horas.
Durante estas 16 horas, la IA experimentó decenas de miles de suposiciones, refutaciones y reconstrucciones, finalmente logrando la demostración.
Cuando los matemáticos vieron este teorema, quedaron profundamente impactados: La IA no utilizó las complicadas estimaciones duras que los humanos habían anticipado, sino que, a través de una ingeniosa «estrategia de muestreo» que provocaba admiración, simplificó el problema en una inesperada y simple «condición de positividad».
Es como si los humanos hubieran estado intentando abrir a la fuerza una enorme puerta de hierro, mientras que la IA simplemente encontró un punto de presión extremadamente diminuto en la rendija de la puerta, la tocó ligeramente y la puerta se abrió, lo que puede describirse como un ataque de dimensión superior.
El Dr. Jin dijo modestamente que encontrar esta idea clave «definitivamente tuvo un componente de suerte». Pero todos saben que la oportunidad solo llega para aquellos que han diseñado la brújula perfecta.
Lo que es aún más admirable es que el Dr. Jin hizo completamente abierto este proceso. Su repositorio de GitHub no solo contiene el artículo final, sino también ese prompt divino, los borradores de iteraciones previas, el código de demostración formalizado en Lean 4 y el informe de auditoría axiomática. Todo está a la luz del sol, sometido al escrutinio de toda la humanidad.
Dirección del código abierto: https://github.com/jinshanmu/CrouzeixConjecture
Preimpresión: https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub
Una segunda demostración ocho días después, la conmoción en el mundo matemático
Al principio, ante esta preimpresión que apareció de la nada, los principales matemáticos la examinaron con escepticismo. Después de todo, «un forastero anuncia la solución de una conjetura de nivel mundial» en el mundo matemático a menudo resulta ser una farsa.
Pero solo unas horas después, la duda de Alex Townsend y Anne Greenbaum se convirtió en asombro y finalmente en admiración: «¡Este argumento realmente es válido!»
Posteriormente, el propio Michel Crouzeix, el proponente de la conjetura y un matemático famoso, se involucró personalmente, revisando línea por línea esta demostración.
Finalmente, sentenció: El manuscrito del Dr. Jin es correcto. El caso pendiente de 22 años ha concluido definitivamente.
Sin embargo, este terremoto académico provocado por la IA apenas comenzaba.
¡Tan solo 8 días después de la publicación de la preimpresión del Dr. Jin (4 de agosto), otros dos matemáticos, Emiel Lorist y Felix Schwenninger, publicaron de repente una demostración independiente de solo 5 páginas!
Título: A SOLUTION TO CROUZEIX’S CONJECTURE
Preimpresión: https://arxiv.org/pdf/2608.03841
El enfoque de esta demostración de 5 páginas es completamente diferente al del Dr. Jin; es extremadamente concisa y poderosa, combinando la representación clásica de doble capa potencial con un lema de perturbación sobre la 2-expansión.
Para los matemáticos tradicionales, este modo de demostración se adapta más a los hábitos cognitivos humanos existentes, pareciendo más «amigable».
Coincidentemente: Lorist y Schwenninger admitieron que, al explorar estrategias de demostración, también utilizaron ChatGPT 5.6.
¡Un problema que no se había resuelto durante 22 años, con el apoyo de la IA, generó en solo 8 días dos demostraciones completamente diferentes pero igualmente ingeniosas!
Al enterarse de esto, el Dr. Jin, lejos de molestarse por «quitarle el protagonismo», sintió pura alegría, considerando que era un complemento interesante a su método.
El amanecer de una edad de oro
En el verano de 2026, el engranaje de la historia giró silenciosamente.
En la historia de las matemáticas, no han faltado médicos que lograron importantes resultados matemáticos, pero todos eran genios de la época que recibieron entrenamiento matemático especializado.
Esta podría ser la primera conjetura pendiente durante mucho tiempo que es resuelta completamente por un médico sin entrenamiento matemático especializado, con la ayuda de la IA.
Hace apenas unos años, imaginar que un sistema de IA pudiera contribuir con «ideas demostrativas decisivas» en conjeturas importantes era simplemente fantasioso.
Pero ahora, ha sucedido de manera tangible.
Es como los dos grandes saltos en la historia de la astronomía.
La primera vez, los astrónomos tenían que calcular datos orbitales a mano, y solo unos pocos niños prodigio podían vislumbrar las estrellas. La segunda vez, fue Galileo quien construyó el telescopio.
Esto es, sin duda, el comienzo de la «edad de oro» de las matemáticas aplicadas e incluso de toda la ciencia. El descubrimiento científico se acelerará como nunca antes, y las barreras entre diferentes disciplinas serán fácilmente derribadas por la IA.
Pero al mismo tiempo, esto también significa una redefinición de identidades. Cuando un poder computacional masivo comience a hacerse cargo de la derivación, cuando un neurocirujano también pueda, en su tiempo libre entre cirugías, tomar la joya de la corona de las matemáticas, la definición de «convertirse en matemático» o «convertirse en científico» está experimentando una ruptura y renovación intensas.
El futuro ha llegado. Con este telescopio de IA en mano, ¿has decidido hacia qué parte del cielo nocturno apuntar?
Referencias:
https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
https://www.preprints.org/manuscript/202607.1919
https://aimath.org/pastworkshops/crouzeix.html
Este artículo proviene del WeChat Official Account «新智元» (Nueva Inteligencia), autor: ASI启示录, editor: David
