El neurocirujano Jin Shanmu, investigador del Hospital de la Unión de Pekín, demostró la conjetura de Crouzeix, un problema de álgebra lineal numérica abierto desde hace décadas, tras una sesión autónoma de 16 horas con el modelo GPT-5.6-Sol en la plataforma ChatGPT Work.
Jin es investigador posdoctoral y residente en el hospital. Buscaba resolver un problema relacionado con ultrasonidos cerebrales cuando llegó al desafío matemático, que forma parte del área de análisis de matrices.
La conjetura
La conjetura fue propuesta por el matemático francés Michel Crouzeix. Afirma que la norma de la aplicación de cualquier función a una matriz no es mayor que dos veces el valor máximo de esa función en el campo numérico de la matriz.
Aunque es un problema abstracto, la conjetura se considera relevante en el análisis de matrices, campo en el que Jin incursionó durante investigaciones con ultrasonido transcraneal.
