✨︎ Resumen (TL;DR):
- Un equipo de la Universidad de Pekín desarrolló una IA que verificó y solucionó un enigma algebraico de forma autónoma.
- El sistema completó la demostración en apenas 80 horas de tiempo computacional bruto.
- El caso confirma que el machine learning ya puede ejecutar investigación matemática de alto nivel sin juicio humano.
Un equipo de la Universidad de Pekín desarrolló un sistema de inteligencia artificial que resolvió de manera independiente un problema matemático propuesto hace más de una década. Según un artículo preliminar publicado el 4 de abril en el repositorio arXiv, el software completó el trabajo en 80 horas sin necesitar ninguna intervención analítica humana.
El enigma, conocido como la conjetura de Anderson, se basa en la álgebra conmutativa y permanecía sin solución. Dan Anderson, profesor de la Universidad de Iowa, propuso la teoría originalmente en 2014 y falleció en 2022 a los 73 años de edad.
Bajo la dirección del matemático Dong Bin, el equipo asiático construyó un marco de IA de doble agente capaz de procesar décadas de literatura académica. La arquitectura técnica funciona de la siguiente manera: Rethlas es un módulo de razonamiento que explora estrategias de resolución operando en conjunto con Matlas, un motor de búsqueda de teoremas.
“Usando este marco, resolvimos con éxito un problema abierto en álgebra conmutativa y formalizamos automáticamente la prueba casi sin intervención humana”, escribieron los investigadores en su reporte.
La automatización del análisis numérico
El software generó la prueba completa utilizando 80 horas de tiempo de ejecución. De acuerdo con el documento, la IA completó tareas que tradicionalmente exigen colaboración directa entre expertos de distintas ramas matemáticas.
“No se requirió juicio matemático por parte del operador humano”, señaló el equipo responsable, aunque precisaron que la supervisión de un especialista podría optimizar la velocidad del proceso.
El estudio publicado en arXiv aún debe pasar por revisión de pares, pero los autores lo presentan como un indicador claro del avance del machine learning. “Este trabajo proporciona un ejemplo concreto de cómo la investigación matemática puede ser automatizada sustancialmente mediante IA”, detallaron en el texto.
La Universidad de Pekín se une a una tendencia inmediata donde algoritmos avanzados logran descifrar problemas estancados:
- El modelo GPT-5.4 de OpenAI resolvió a principios de este año un problema del benchmark FrontierMath que bloqueaba a los científicos desde 2019.
- La startup de inteligencia artificial Axiom anunció en febrero que su software descifró cuatro problemas previamente sin solución.
El ritmo actual de estos descubrimientos ha generado tanto entusiasmo como nerviosismo entre los matemáticos, quienes observan cómo los sistemas automatizados asumen un rol protagónico en la creación de conocimiento puro.
