Investigadores chinos resuelven una antigua conjetura matemática utilizando un modelo de IA nacional

El 15 de octubre de 2026, el Laboratorio de Inteligencia Artificial de Shanghái anunció que una antigua conjetura matemática, la Conjetura de Ghys en 3D, ha sido resuelta por un equipo liderado por Xu Dishi de la Universidad de la Gran Bahía. El avance se logró utilizando el modelo multimodal grande Shusheng-S2, que emplea un enfoque de 'fusión general-especial' para permitir la colaboración entre humanos y máquinas en la demostración de la conjetura. El trabajo fue formalmente verificado por los profesores Dong Bin y Liu Ruocuan, académicos de la Universidad de Pekín, utilizando su marco SHEAF. La Conjetura de Ghys, propuesta en 1995 por Étienne Ghys, ha sido un importante problema abierto en sistemas dinámicos, a menudo considerada como un punto de referencia para el razonamiento matemático. La investigación, publicada en arXiv, incluye código formal en GitHub. El estudio marca la primera vez que un modelo de IA chino se ha utilizado para resolver un importante problema matemático. El equipo planea ampliar la metodología a otros campos, creando un ciclo de innovación auto-evolutivo. La investigación también destaca una nueva paradigmática científica, integrando la intuición de los expertos en los bucles de resolución de máquinas. Este enfoque, que combina la exploración sistemática con el juicio de expertos, podría aplicarse a otras áreas con vastos espacios de búsqueda y recursos de expertos limitados. El Laboratorio de IA de Shanghái tiene como objetivo desarrollar un módulo de verificación matemática reutilizable para la plataforma de descubrimiento científico Shusheng · Duanyan, lo que permitirá a futuras investigaciones aprovechar este avance.