Un estudiante de secundaria usó IA para desafiar una conjetura
Un estudiante coreano de secundaria asegura haber refutado una conjetura matemática de 300 años gracias a la inteligencia artificial. La comunidad matemática está dividida ante el hallazgo, y la historia refleja un cambio profundo en la forma en que se produce el conocimiento matemático.
El artículo que casi partió Internet (casi)
Un joven de 15 años en Gimpo, Corea del Sur, publicó un trabajo en el servidor de prepublicaciones arXiv que afirmaba desmentir una conjetura matemática de 300 años. Lo hizo en solitario: sin profesores, sin grupo de investigación, sin afiliación académica formal. Utilizó Claude para escribir código, ejecutó los cálculos en su portátil durante 38 horas y luego recurrió de nuevo a la inteligencia artificial para verificar sus resultados.
La conjetura en cuestión es la propiedad de Rupert, nombrada en honor al príncipe Rupert del Rin, quien planteó el problema en 1693: ¿puede un cubo atravesar otro cubo más pequeño? La respuesta, contraintuitivamente, es sí. La pregunta más amplia —si todo poliedro convexo puede atravesar una copia de sí mismo— permaneció abierta durante tres siglos.
El artículo de Choeng Gi-hyo sostiene que el dodecaedro romboico, un sólido de 12 caras (formado por triángulos equiláteros, cuadrados y rombos), no puede. Publicó el resultado en Reddit, donde alcanzó el primer puesto en un foro especializado en programación con Claude. En un país donde el orgullo por las ciencias, tecnología, ingeniería y matemáticas (STEM) está profundamente arraigado y los exámenes nacionales determinan los destinos futuros, que un estudiante de escuela secundaria desafíe públicamente siglos de trabajo matemático es exactamente el tipo de historia que se amplifica de forma inmediata.
Lo que ocurrió después revela más sobre el estado de las matemáticas en la era de la IA que cualquier demostración por sí sola.
Quién escribió realmente este artículo
La reacción inmediata de los matemáticos establecidos no fue tanto de incredulidad como de una cuidadosa distancia. Ohm Sang-il, investigador del grupo de matemáticas discretas del Instituto de Ciencias Básicas, fue tajante: publicar en una plataforma de archivos reconoce la fecha de publicación, no el contenido ni su respaldo. Seo In-seok, catedrático del Departamento de Ciencias Matemáticas de la Universidad Nacional de Seúl, expresó lo mismo de otra manera: un artículo asistido por IA solo cuenta como trabajo académico completo si el autor comprende cada paso y puede defenderlo ante cualquier cuestionamiento.
El propio Choeng reconoció esa brecha. Dijo a los periodistas que no podía verificar de forma independiente cada paso detallado del artículo en su nivel actual. Pero ofreció una defensa parcial: otros trabajos que llegaban a la misma conclusión se publicaron alrededor de la misma fecha utilizando métodos diferentes, lo que sugiere que el resultado en sí podría ser sólido aunque la presentación sea incompleta.
Esta es la ambigüedad crucial. El resultado computacional —que el dodecaedro romboico probablemente no supera la prueba de Rupert— puede ser correcto. El camino que lo llevó hasta allí, mediado enteramente por un asistente de codificación con IA que no comprendía del todo, plantea una pregunta que el establishment matemático nunca ha tenido que responder antes: ¿importa una demostración si quien la encontró no puede explicar por qué funciona?
La verdadera historia no es la matemática
La propia conjetura de la propiedad de Rupert es un argumento secundario en una historia más amplia sobre quién puede hacer matemáticas hoy.
Durante siglos, la barrera de entrada fue basada en credenciales. Se necesitaban años de formación de posgrado, mentoría de investigadores consolidados y publicaciones en revistas evaluadas por pares para contribuir de manera significativa a problemas abiertos. El sistema era lento, excluyente y costoso, pero también garantizaba que quien reclamaba una demostración la entendiera.
La IA ha abierto esa barrera. Un estudiante de secundaria con una suscripción a Claude puede ahora realizar experimentos computacionales que hace una década habrían requerido un equipo de investigación. La barrera ya no es el acceso a asesores o espacios de laboratorio. Es el acceso al prompt adecuado y la disposición a iterar.
Esto no es hipotético. OpenAI afirmó recientemente haber derivado una solución para uno de los Siete Problemas del Milenio —la cuestión de la existencia y suavidad de las ecuaciones de Navier-Stokes— aunque la comunidad matemática aún no la ha aceptado. El patrón va emergiendo: la IA produce resultados, los humanos deciden si confiar en ellos.
La crisis de verificación
El problema más profundo que esta historia expone no se trata de un adolescente ni de una conjetura concreta. Se trata de la erosión de un contrato fundamental en las matemáticas: el autor debe ser dueño del argumento.
La revisión por pares existe porque los seres humanos cometen errores. La IA introduce una nueva categoría de error: el modelo es fluido, pero no veraz; seguro, pero no necesariamente correcto. Cuando Choeng ejecutó 38 horas de cómputo a través de código generado por IA, no estaba verificando su propio razonamiento. Estaba verificando que el código de Claude produjera una salida coherente con su propia lógica. Eso es un acto epistémico completamente distinto.
La propia sincera confesión de Choeng —de que no puede verificar en profundidad los detalles del artículo— es, en realidad, una señal de honestidad intelectual. La mayoría de los resultados generados por IA en cualquier campo nunca llegan tan lejos en el escrutinio. El hecho de que los matemáticos ya estén debatiendo su validez sugiere que el resultado tiene sustancia, pero también que la comunidad está intentando averiguar cómo evaluar un trabajo que escapa a los modelos tradicionales de autoría.
Qué cambia a continuación
Las implicaciones van mucho más allá de la geometría o los poliedros. Si un adolescente de 15 años puede generar un preprint creíble sobre un problema de 300 años usando IA, la pregunta ya no es quién puede participar en las matemáticas, sino qué significa participar.
La educación matemática en Corea del Sur, ya de por sí intensa y competitiva, enfrentará ahora una nueva presión: estudiantes que puedan manejar herramientas de IA de manera efectiva podrían superar a aquellos que confíen únicamente en la preparación tradicional. Esta ventaja no es exclusiva de Corea. Es global. Cualquier estudiante con acceso a Internet y una cuenta de IA, gratuita o pagada, tiene ahora acceso a herramientas computacionales que antes requerían apoyo institucional.
El sistema de recompensas académicas no está listo para esto. Las revistas aún esperan pruebas escritas y verificadas por humanos. Los organismos de financiación siguen vinculando las subvenciones a la afiliación institucional. Pero el flujo de descubrimientos está cambiando más rápido que las instituciones diseñadas para evaluarlo.
Lo que está claro es que la era de la exploración matemática asistida por IA ha llegado, y no le importa tu título. El dodecaedro romboico puede tener o no la propiedad de Rupert. Pero la verdadera forma de este momento ya es visible, y es más amplia, y más disruptiva, que cualquier conjetura individual.