Una IA china cerró en 80 horas una conjetura matemática que llevaba diez años abierta
Otros Temas13/04/2026
REDACCIÓNUn equipo de la Universidad de Pekín presentó un sistema de doble agente que resolvió y verificó una conjetura de álgebra conmutativa planteada en 2014.
Un desarrollo de inteligencia artificial impulsado por investigadores de la Universidad de Pekín volvió a poner a China en el centro de la carrera tecnológica global, pero esta vez por un avance que toca de lleno al mundo de la matemática. Un sistema diseñado para razonar y verificar pruebas logró resolver en unas 80 horas un problema abierto desde 2014, en un resultado que, de confirmarse con el tiempo, podría modificar la forma en que se abordan ciertas tareas de investigación formal. La novedad no apareció ligada a una aplicación comercial inmediata, sino a una cuestión mucho más exigente: cerrar una conjetura que llevaba una década sin resolución.
El punto más llamativo del trabajo no fue solo la velocidad con la que el sistema llegó al resultado, sino la estructura con la que operó. Según se informó, el modelo funcionó con un esquema de doble agente, pensado para dividir tareas que hasta ahora exigían intervención altamente especializada. Un agente se ocupó del razonamiento en lenguaje natural y de explorar estrategias posibles de demostración, mientras el otro se encargó de convertir esas ideas en una formulación rigurosa, apta para ser comprobada por máquina.
Ese diseño buscó resolver uno de los problemas clásicos de la aplicación de IA en matemática: la distancia entre una intuición plausible y una prueba realmente válida. En este caso, la combinación entre exploración informal y verificación formal permitió avanzar sobre una conjetura de álgebra conmutativa propuesta por el matemático estadounidense Dan Anderson en 2014. El resultado, de acuerdo con la información difundida, no quedó solo en una hipótesis sugerida por el sistema, sino que también fue formalizado dentro de un marco matemático verificable.
OTRAS NOTICIAS:
La experiencia quedó descripta en un artículo preliminar que fue publicado recientemente en arXiv, el repositorio donde suelen circular trabajos científicos antes de su evaluación académica definitiva. Ahí aparece también una de las cautelas más importantes de este avance: el estudio todavía no fue revisado por pares. Ese dato no invalida por sí solo el hallazgo, pero sí obliga a leerlo dentro de una etapa inicial, donde el entusiasmo por el resultado todavía debe pasar por el filtro del examen externo de la comunidad científica.
Los investigadores sostuvieron que el sistema pudo completar el proceso sin una intervención humana relevante en el plano matemático. De hecho, señalaron que el único aporte externo fue facilitar el acceso a documentos restringidos que la IA no podía obtener por sí sola. Esa aclaración es uno de los núcleos más sensibles del trabajo, porque sugiere que el modelo no necesitó correcciones conceptuales humanas durante la resolución, sino apenas una apertura de acceso a materiales necesarios para continuar.
Ese rasgo cambia el eje del debate sobre lo que hoy pueden hacer estos sistemas en investigación avanzada. Hasta ahora, muchas herramientas de IA habían mostrado capacidad para asistir, sugerir, resumir o acelerar tareas técnicas, pero no para desarrollar y cerrar por sí mismas un recorrido de demostración sobre un problema abierto. En este caso, los autores del trabajo plantean justamente eso: que el marco empleado permitiría automatizar tareas que solían requerir cooperación entre especialistas y supervisión constante.
OTRAS NOTICIAS:
La relevancia del anuncio también queda atada al campo específico en el que se produjo. La matemática formal es uno de los terrenos más exigentes para cualquier sistema de IA, porque no alcanza con producir una respuesta convincente o probable. Cada paso debe sostenerse con una consistencia lógica que pueda ser comprobada sin ambigüedades. Por eso, la integración entre lenguaje natural y verificación formal aparece como uno de los aportes más fuertes del proyecto, ya que apunta directamente al problema de la fiabilidad de las demostraciones generadas por máquina.
Aun así, el trabajo no elimina las preguntas de fondo que siguen abiertas en este tipo de desarrollos. La automatización de pruebas no resuelve por sí misma los debates sobre interpretación, selección de estrategias o comprensión conceptual más amplia de los problemas matemáticos. Además, el hecho de que el estudio todavía no haya sido revisado por pares mantiene un margen de prudencia razonable sobre el alcance real del avance y sobre la posibilidad de replicarlo con éxito en otros problemas complejos.
El anuncio llega, además, en un momento especialmente sensible para el posicionamiento internacional de China en materia de IA. En los últimos meses, la visibilidad de nuevos modelos chinos, como DeepSeek y otros impulsados por compañías como Alibaba y ByteDance, volvió a empujar la competencia tecnológica con Estados Unidos. El avance informado ahora se inserta en esa misma disputa, pero desde un terreno distinto: ya no el de los asistentes conversacionales o los modelos generales, sino el de la producción de conocimiento formal en disciplinas de alta complejidad.
OTRAS NOTICIAS:
Ese contexto político y tecnológico no es menor, porque la IA fue también uno de los temas centrales de la última reunión anual de la Asamblea Nacional Popular en marzo. Allí, Pekín ratificó su apuesta por expandir el uso de esta tecnología en distintos sectores de la economía y por fortalecer el empleo ligado a su desarrollo. El trabajo del equipo de la Universidad de Pekín aparece así como una pieza más dentro de esa estrategia, aunque con una potencia simbólica especial: mostrar que la competencia por la IA también se juega en la frontera del conocimiento matemático.
Lo que deja este episodio, por ahora, no es una verdad cerrada sobre el futuro de la investigación, sino una señal potente sobre el tipo de tareas que estos sistemas empiezan a disputar. Si la validación académica confirma el resultado, la resolución de una conjetura abierta durante diez años por parte de un sistema de doble agente marcará un antecedente difícil de ignorar. Y si algo queda claro desde ya, aun antes de esa validación final, es que la discusión sobre los límites de la inteligencia artificial en ciencia acaba de entrar en una etapa bastante más exigente que la de los usos experimentales o accesorios.
Te puede interesar
