IT之家 15 de octubre: El Laboratorio de Inteligencia Artificial de Shanghái publicó hoy que el problema de nivel mundial que ha desconcertado al mundo matemático durante más de 30 años — la Conjetura de Ghys tridimensionalha sido resuelto.
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 multimodal científico Intern S2 (书生-S2) y basándose en la vía tecnológica de «fusión de capacidades generales y especializadas»,completó mediante la colaboración humano-máquina la demostración de la Conjetura de Ghys tridimensional。
El equipo del profesor Dong Bin de la Universidad de Pekín y del académico Liu Ruochuan utilizó el marco SHEAF que desarrollaron para realizar la verificación formal de esta demostración, confirmando la corrección del trabajo.Esto marca la primera vez que científicos chinos resuelven un problema matemático de nivel mundial utilizando un gran modelo chino。
La conjetura de Ghys fue propuesta en 1995 por el matemático francés Étienne Ghys, y conjetura 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. El problema combina dificultad teórica y valor emblemático para la disciplina, y es reconocido por los expertos matemáticos del campo de los sistemas dinámicos como uno de los importantes problemas abiertos de largo plazo del área, siendo una piedra de toque para evaluar la capacidad de razonamiento matemático.
El artículo correspondiente ya se ha publicado en la plataforma de prepublicaciones (arXiv), y su código de verificación formal también está disponible públicamente en la plataforma Github. IT之家 adjunta el enlace a continuación:
https://github.com/frenzymath/HolomorphicAnosov
El Laboratorio de Inteligencia Artificial de Shanghái indicó que la importancia de esta investigación también radica en la validación de un nuevo paradigma científico. La investigación matemática tradicional depende del largo tanteo de talentos individuales, mientras que en esta ocasión la intuición de los expertos se integró sistemáticamente en el bucle de resolución por máquina, formando un circuito cerrado de «exploración sistemática — juicio experto — acumulación de resultados — retroalimentación y corrección».Este paradigma puede replicarse y extenderse a más áreas de investigación básica «con espacios de búsqueda enormes y escasez de expertos», logrando más avances innovadores originales «de 0 a 1»。
A continuación, apoyándose en el circuito completo de capacidades validado por esta investigación, el equipo lo encapsulará aún más como un módulo de verificación matemática reutilizable de la plataforma de descubrimiento científico Intern · Duanyan, para que pueda invocarse directamente en investigaciones futuras de problemas científicos. Al mismo tiempo, tomando como punto de partida el avance en la Conjetura de Ghys tridimensional,el Laboratorio de Inteligencia Artificial de Shanghái extenderá las capacidades de razonamiento acumuladas a otras disciplinas con estructuras matemáticas homólogas; tras lograr nuevos avances, encapsulará las nuevas capacidades de razonamiento de vuelta en la plataforma Duanyan para su reutilización, combinándose con más disciplinas en busca de la siguiente ronda de avances, formando un volante de autoevolución de «avance — encapsulamiento — reutilización — nuevo avance».
Declaración publicitaria: Los enlaces de salto externos contenidos en el texto (incluyendo, entre otros, hipervínculos, códigos QR, contraseñas y otras formas) se utilizan para transmitir más información y ahorrar tiempo de selección; los resultados son solo de referencia. Todos los artículos de IT之家 que contienen enlaces externos incluyen esta declaración.