Un modelo de inteligencia artificial chino contribuye a demostrar una conjetura abierta desde hace treinta años
El laboratorio de inteligencia artificial de Shanghái anuncia la contribución del modelo Shuying-S2 a la demostración de la conjetura de Ghys, formulada en 1995 y validada por la Universidad de Pekín.
Un grupo de investigación chino dirigido por el profesor Xude Sheng ha anunciado haber resuelto la conjetura tridimensional de Ghys, un problema abierto desde hace treinta años, utilizando el modelo de inteligencia artificial doméstico Shuying-S2. Lo informan Pandaily y KuCoin News, ambos basados en el comunicado oficial del Shanghai Artificial Intelligence Laboratory: la noticia proviene por tanto, de momento, de una única fuente primaria, el propio laboratorio; no hay por el momento ninguna confirmación independiente disponible. Es una historia que la edición de esta mañana todavía no había contado.
Un equipo de la Universidad de Pekín validó la demostración utilizando el marco de trabajo SHEAF. El estudio, disponible en arXiv y en GitHub, se presenta como la primera vez que un modelo de inteligencia artificial desarrollado en China contribuye a un descubrimiento matemático de relevancia global.
La conjetura, propuesta por el matemático francés Étienne Ghys en 1995, se refiere a los sistemas holomorfos Anosov: supone que todo sistema de este tipo definido sobre una variedad compleja compacta es biolomorficamente conjugado a un automorfismo afín holomorfo sobre una determinada infra-nilvariedad compleja. Es un enunciado de geometría compleja que permaneció sin demostración durante tres décadas.
Según la reconstrucción proporcionada por las fuentes, a partir de agosto el modelo comenzó a explorar diversos enfoques para demostrar la conjetura, produciendo miles de páginas de exposición matemática antes de llegar a la formulación luego validada por el equipo de Pekín.
El caso se inscribe en una línea de investigación que explora el uso de modelos de inteligencia artificial como herramientas de apoyo a la demostración matemática, acompañando el trabajo de los investigadores humanos en lugar de sustituirlo: el proceso descrito contempla, en efecto, una colaboración entre el modelo y los matemáticos, con una fase final de validación formal realizada por un equipo universitario independiente del laboratorio que desarrolló el modelo.
El caso llega mientras varios laboratorios en el mundo intensifican los esfuerzos por mostrar que los modelos de inteligencia artificial pueden contribuir a descubrimientos científicos originales, no solo automatizar tareas ya conocidas. Queda por ver si la comunidad matemática internacional, al margen de los grupos implicados en la validación, confirmará de manera independiente la demostración una vez publicada en su totalidad.
← Archivo · Portada · Editoriales anteriores · Señala un error · Artículo original (en italiano)