Este informe periodístico avanzado se preparó para cubrir los antecedentes y los detalles de cómo la inteligencia artificial logra dos hitos históricos en matemáticas y los temas relacionados con el sector tecnológico y normativo global.
Índice del artículo:
- Un médico chino y ChatGPT demuestran la conjetura de Crouzeix
- El modelo Claude irrumpe en la histórica hipótesis de Riemann
- Consolidación del papel de la inteligencia artificial como investigador científico asociado
- Preguntas frecuentes
Un médico chino y ChatGPT demuestran la conjetura de Crouzeix
En pocas semanas, los sistemas de inteligencia artificial generativa registraron dos hitos históricos destacados en el campo de las matemáticas puras; el primero consistió en presentar una prueba matemática definitiva para una conjetura que se había resistido a los principales especialistas durante más de 20 años, mientras que el segundo consistió en lograr un avance cualitativo avanzado en uno de los problemas matemáticos sin resolver más famosos de la historia moderna.
Jin Shanmu, médico residente de neurocirugía e investigador postdoctoral en el Hospital del Colegio Médico de la Unión de Pekín, logró demostrar la famosa «conjetura de Crouzeix» en álgebra lineal numérica, planteada por el matemático francés Michel Crouzeix en 2004, utilizando la plataforma «ChatGPT». Según el periódico «South China Morning Post», Jin ejecutó el modelo «GPT-5.6 Sol» de forma independiente durante 16 horas continuas en la plataforma ChatGPT Work, produciendo una demostración matemática integrada y precisa.
Lo llamativo es que Jin no es un matemático especializado; estudió geología en su pregrado antes de ingresar a la facultad de medicina, y descubrió el mundo del análisis de matrices matemáticas por casualidad durante su investigación sobre ultrasonido transcraneal. La conjetura de Crouzeix establece que cualquier función aplicada a una matriz produce un valor que no supera el doble del valor máximo de dicha función en el rango numérico de la matriz. Alex Townsend, profesor de matemáticas en la Universidad de Cornell que intentaba resolver el problema mediante la inteligencia artificial, descubrió que ChatGPT le había informado que la prueba ya se había alcanzado, por lo que la revisó y compartió con Anne Greenbaum de la Universidad de Washington y con el propio Michel Crouzeix, y todos confirmaron la validez y solidez matemática de la prueba.
El modelo Claude irrumpe en la histórica hipótesis de Riemann
En un frente paralelo, Anthropic anunció que una versión de investigación experimental e inédita del modelo «Claude» logró mejorar el límite matemático inferior asociado con la famosa «hipótesis de Riemann», de 167 años de antigüedad. El modelo pudo elevar el límite inferior conocido de la proporción de ceros de la función zeta de Riemann ubicados en la línea crítica del 41.6% al 67.2%. Aunque este trabajo no demostró definitivamente la hipótesis, representa un progreso fundamental y enorme en un problema histórico que apenas había visto desarrollos menores durante largas décadas.
Este experimento comenzó cuando Jared Sumner, empleado de Anthropic, indicó al modelo Claude que intentara abordar la hipótesis de Riemann. Después de que el modelo probó cerca de 650 ideas y teorías diferentes durante varios días sin éxito, Sumner lo alentó con frases motivadoras como «sigue trabajando» y «cree en tus capacidades». Posteriormente, Claude se coordinó automáticamente y trabajó conjuntamente con unas 60 copias clonadas de sí mismo, consumiendo 31 millones de tokens computacionales en el transcurso de día y medio, antes de llegar a este impresionante resultado. El «Wall Street Journal» citó a uno de los principales teóricos de números de la Universidad de Stanford describiendo este logro como «el resultado más deslumbrante producido por la inteligencia artificial en la historia de las matemáticas hasta la fecha».
Consolidación del papel de la inteligencia artificial como investigador científico asociado
Estos acontecimientos se producen tras el anuncio de OpenAI en mayo pasado sobre el éxito de un modelo interno al refutar la «conjetura de Erdős sobre distancias unitarias», que data de 1945, y la publicación de una lista de diez logros y avances matemáticos y computacionales alcanzados por sus modelos. Esta rápida sucesión de descubrimientos otorga un gran peso a la profecía del famoso matemático Terence Tao, quien predijo que para 2026 la inteligencia artificial se convertiría en «un coautor e investigador confiable en la investigación matemática avanzada».
Estos resultados confirman que la inteligencia artificial ha superado la etapa de ser una herramienta auxiliar para la programación o el resumen de textos, para convertirse en un actor principal capaz de realizar un razonamiento lógico profundo e innovar complejas pruebas matemáticas que generaciones de investigadores académicos no pudieron resolver.
Preguntas frecuentes
Pregunta: ¿Qué es la conjetura de Crouzeix y cómo logró un médico chino demostrarla?
Respuesta: Es un dilema de álgebra lineal que data de 2004, y fue demostrado por el médico Jin Shanmu al ejecutar el modelo de razonamiento de OpenAI durante 16 horas continuas.
Pregunta: ¿Cuál es el progreso que logró el modelo Claude respecto a la hipótesis de Riemann?
Respuesta: Elevó el límite inferior de la proporción de ceros de la función zeta de Riemann en la línea crítica del 41.6% al 67.2% utilizando 60 copias autónomas del modelo.
Pregunta: ¿Cómo se verificó la validez de la demostración de la conjetura de Crouzeix?
Respuesta: Fue revisada y su validez matemática fue confirmada por científicos de las universidades de Cornell y Washington, además del propio creador del dilema, Michel Crouzeix.
Pregunta: ¿Cuál es el significado de estos logros para el futuro de la investigación científica?
Respuesta: Estos logros demuestran la profecía del científico Terence Tao de que la inteligencia artificial se ha convertido en un socio de investigación confiable capaz de realizar razonamientos matemáticas puros.
