Un sistema de inteligencia artificial logró resolver una conjetura matemática que llevaba más de una década sin solución, en un avance que vuelve a poner sobre la mesa el potencial —y también los límites— de estas tecnologías en la investigación científica.
El desarrollo fue liderado por un equipo de la Universidad de Pekín, que diseñó un modelo capaz de abordar y verificar un problema abierto de álgebra conmutativa sin una intervención humana significativa. Según detalló el diario South China Morning Post, la única ayuda externa fue facilitarle acceso a documentos restringidos.
IA resuelve una conjetura matemática de 2014
El sistema consiguió formalizar en pocas horas la solución de una conjetura planteada en 2014 por el matemático estadounidense Dan Anderson, completando su verificación tras unas 80 horas de ejecución.
Este problema, altamente técnico, pertenece al campo del álgebra conmutativa —una rama de las matemáticas puras—, sin que hasta ahora existiera una demostración formal.
El avance fue descrito en un artículo preliminar publicado en el repositorio arXiv, por lo que —advierten los propios autores— aún no ha sido sometido a revisión por pares.
Cómo funciona el sistema de doble agente
El modelo opera mediante un sistema de “doble agente”. Por un lado, un agente de razonamiento informal explora estrategias y construye posibles demostraciones en lenguaje natural. Por otro, un agente de verificación formal traduce esas ideas a un formato matemático riguroso que puede ser comprobado por una máquina.
Esta combinación permite pasar de intuiciones o hipótesis a pruebas formales validadas, un proceso que tradicionalmente requiere colaboración entre especialistas y múltiples revisiones.
Intervención humana mínima
De acuerdo con el equipo, la participación humana se limitó a habilitar el acceso a información que el sistema no podía obtener por sí mismo, sin intervenir en el desarrollo matemático de la solución.
Esto, aseguran, abre la puerta a automatizar tareas complejas dentro de la investigación matemática, aunque todavía existen desafíos significativos.
Retos pendientes en la matemática con IA
Uno de los principales problemas sigue siendo la fiabilidad de las demostraciones generadas por inteligencia artificial, especialmente cuando no existe validación externa independiente.
En ese sentido, los investigadores plantean que la integración entre razonamiento en lenguaje natural y verificación formal podría mejorar la confianza en los resultados y acelerar la resolución de problemas complejos.
China y la carrera por la IA
El avance se enmarca en el crecimiento del ecosistema tecnológico chino, donde en los últimos meses han ganado protagonismo modelos como DeepSeek, junto con desarrollos impulsados por gigantes como Alibaba y ByteDance.
La inteligencia artificial fue, de hecho, uno de los focos de la última Asamblea Nacional Popular en marzo, donde Pekín reforzó su apuesta por integrar estas tecnologías en distintos sectores y potenciar su desarrollo a nivel global.
Enviando corrección, espere un momento...
