China ha logrado un avance importante en el campo interdisciplinario de la inteligencia artificial y las ciencias básicas. Según el Laboratorio de Inteligencia Artificial de Shanghái, la conjetura de Ghys en tres dimensiones, un problema matemático de clase mundial que llevaba más de 30 años atormentando a la comunidad matemática global, fue oficialmente resuelta recientemente. Es también la primera vez que científicos chinos utilizan con éxito un gran modelo nacional para conquistar un problema matemático de clase mundial.
La investigación fue liderada por el equipo de Xu Disheng, académico visitante del Laboratorio de Inteligencia Artificial de Shanghái y profesor de la Universidad del Área de la Gran Bahía. Apoyándose en el "gran modelo científico multimodal Shusheng S2" (Shusheng-S2) y sobre la base de la vía técnica de la "integración de capacidades generales y especializadas", el equipo de investigación completó finalmente la demostración de la conjetura de Ghys en tres dimensiones mediante la colaboración humano-máquina. Al mismo tiempo, el equipo del profesor Dong Bin de la Universidad de Pekín y del académico Liu Ruochuan llevó a cabo la verificación formal del proceso de demostración utilizando su marco SHEAF desarrollado de manera autónoma, confirmando así de manera inequívoca la corrección de este resultado de investigación.
Como importante problema abierto de largo plazo en el campo de los sistemas dinámicos matemáticos, la conjetura de Ghys en tres dimensiones fue planteada en 1995 por el matemático francés Étienne Ghys. La conjetura afirma que todo sistema de Anosov holomorfo sobre una variedad compleja compacta es biholomórficamente conjugado a un automorfismo afín holomorfo sobre alguna variedad compleja infra-nilpotente. Debido a que este problema combina una altísima dificultad teórica con un valor emblemático para la disciplina, durante mucho tiempo ha sido reconocido por la comunidad matemática como una piedra de toque para evaluar la capacidad de razonamiento matemático de la inteligencia artificial y de los seres humanos.
Que el equipo de científicos chinos haya logrado conquistar este problema mediante la colaboración humano-máquina no solo demuestra el profundo potencial de los grandes modelos nacionales para afrontar cálculos científicos de vanguardia y razonamientos lógicos complejos, sino que también abre un camino práctico completamente nuevo para que la inteligencia artificial empodere en profundidad la investigación en ciencias básicas en el futuro.