Investigadores chinos resuelven la conjetura 3D de Ghys con un modelo de IA nacional

Un equipo dirigido por el profesor Xu Disheng, de la Greater Bay University, en colaboración con el modelo científico Intern-S2 del Laboratorio de IA de Shanghái, anuncia una demostración completa de la conjetura tridimensional de Ghys, un problema de dinámica compleja propuesto por Étienne Ghys en 1995 y sin resolver durante más de 30 años. Un equipo de la Universidad de Pekín llevó a cabo de forma independiente la verificación formal automática de todos los teoremas centrales, generando cientos de miles de líneas de código de verificación. El artículo está en una plataforma de prepublicación y el código de verificación es totalmente abierto, lo que lo convierte en un caso emblemático de un modelo de IA contribuyendo a una gran demostración matemática.

• Hacker News (AI)2026-10-18 20:19