Un nuevo preimpreso de Wang & Wu de la Universidad de Hunan prueba la Conjetura esférica de Hadwiger, abierta desde 1974, con asistencia de Open AI Codex. Los autores revelan que la IA ayudó a desarrollar detalles de la prueba, identificar lagunas, organizar el manuscrito y editar el inglés, asumiendo plena responsabilidad. Esto sigue a Claude formalizando el Último Teorema de Fermat en Lean la misma semana.

El autor, quien intentó esta prueba en la escuela de posgrado, señala que el informe de GPT-4 de OpenAI estimó que el 100% del trabajo de los matemáticos está expuesto a los LLM — más que escritores o artistas. El retraso en el impacto de la IA puede deberse a que las matemáticas tienen menos valor económico y datos de entrenamiento.

Esto plantea si las matemáticas puras seguirán a la música clásica hacia un modelo de "conservatorio" — institucionalizado en la academia con pocos roles profesionales fuera de las universidades. Un conservatorio matemático podría preservar el campo incluso cuando crear resultados se vuelve fácil, pero comprender su importancia sigue siendo difícil. Las matemáticas puras ya existen en este conservatorio (la academia), con resultados comprendidos por pocos.

Entidades clave: Empresas: Open AI, Universidad de Hunan | Personas: Wang, Wu, Claude Fable | Ubicaciones: Universidad de Hunan