Neurocirujano demuestra una conjetura que dejó perplejos a los matemáticos durante 22 años con una ejecución de 16 horas de GPT-5.6
OpenAI
Un neurocirujano, el Dr. Shanmu Jin, demostró la conjetura de Crouzeix, un problema de larga data en análisis matricial, y fue asistido por una ejecución autónoma de 16 horas de GPT-5.6 Sol de OpenAI. Su prueba fue verificada por varios matemáticos, incluido el autor de la conjetura, y una segunda prueba independiente apareció días después. Esto marca un hito: una contribución matemática importante por parte de un aficionado junto con un modelo de IA.
El matemático Alex Townsend llevaba casi un año pidiendo a ChatGPT que demostrara la conjetura de Crouzeix, pero el modelo siempre devolvía pruebas falsas o incompletas. El 30 de julio de 2026, ChatGPT devolvió un enlace a un preprint publicado tres días antes, que afirmaba contener una solución. Townsend y su colega Anna Greenbaum lo leyeron con escepticismo y pronto se dieron cuenta de que era genuino. El autor, el doctor Shanmu Jin, es residente de neurocirugía y posdoctorado, no un matemático profesional. Se interesó por la conjetura de Crouzeix mientras trabajaba en ultrasonido transcraneal, y formuló una estrategia de demostración en una sesión autónoma de 16 horas con GPT-5.6 Sol en ChatGPT Work, sin acceso a internet. El modelo utilizó una cartera de estrategias diversas, auditorías adversariales y eliminación basada en contraejemplos, según las indicaciones de Jin. La prueba fue verificada de forma independiente por Townsend, Greenbaum y Michel Crouzeix, y más tarde reforzada por una segunda demostración diferente de los matemáticos Emil Lorist y Felix Schwenninger, que también utilizaron ChatGPT 5.6 Pro. El caso pone de relieve un cambio de paradigma en el descubrimiento matemático y plantea interrogantes sobre la sostenibilidad de la revisión por pares.
Fuente: Habr — хаб ИИ —
original