CienciaInvestigadores chinos demuestran la conjetura de Ghys 3D con un modelo de IA nacional

Un equipo encabezado por Xu Disheng colaboró con el modelo científico Intern-S2 del Laboratorio de Inteligencia Artificial de Shanghái para demostrar rigurosamente la conjetura de Ghys 3D. Un equipo de la Universidad de Pekín verificó de forma independiente los teoremas centrales y la integridad lógica de la prueba mediante comprobación formal por computadora. El artículo se publicó en una plataforma internacional de preimpresos y el código de verificación se abrió al público.

matemáticasinteligencia artificialconjetura de GhysChina

CCGTN★★★☆☆2026-10-15 14:00Original