Un preprint de los investigadores Wang y Wu, de la Universidad de Hunan, presenta la demostración del Teorema Esférico de Hadwiger, una conjetura abierta desde 1974 sobre geometría integral, elaborada con asistencia sustancial de OpenAI Codex. El propio artículo reconoce que el modelo se utilizó para desarrollar detalles de la prueba, identificar lagunas, organizar el manuscrito y revisar el inglés, aunque los autores firmen la responsabilidad final. El hallazgo se conoce la misma semana en que Anthropic anunció que su modelo Claude formalizó en Lean la demostración del Último Teorema de Fermat.
El autor del blog, que intentó demostrar la misma conjetura durante su posdoctorado, enmarca el episodio dentro de una tendencia más amplia: un informe de OpenAI de 2023 ya situaba a los matemáticos como la profesión más expuesta a la automatización por IA, con un 100% de sus tareas potencialmente sustituibles. Frente a este escenario, propone una analogía con la música clásica: si generar nuevos resultados matemáticos deja de ser difícil pero entenderlos y comunicarlos sigue siéndolo, quizá la investigación pura necesite un modelo de sostenimiento tipo conservatorio, con un puñado de profesionales remunerados y formación especializada.
La pieza invita a repensar los incentivos académicos —financiación, tenure, prestigio— en un mundo donde la inteligencia creativa queda cada vez más al alcance del silicio y la electricidad, y donde distinguir la corrección de un argumento complejo se vuelve en sí mismo un problema.
(Recuento aproximado: ~260 palabras)