Jueves 15 de octubre de 2026 ·

Matemáticos usan el modelo Intern-S2 del laboratorio de IA de Shanghái para demostrar el caso tridimensional de la conjetura de Ghys

Relevancia 39 de 100 China, Shanghái

El Laboratorio de IA de Shanghái afirma que su modelo científico multimodal Intern-S2 ayudó a demostrar el caso tridimensional de la conjetura de Ghys, planteada en 1995 por Étienne Ghys sobre dinámica compleja. Un equipo de la Universidad de Pekín verificó los resultados principales con el asistente de pruebas Lean. El artículo tiene un único autor, Jiesong Zhang (KTH), y el laboratorio atribuye el trabajo a un equipo dirigido por Disheng Xu; según el laboratorio, el modelo generó una derivación de 400 páginas, aunque el texto se corta en ese punto.

Qué significa

Muestra que los modelos de IA pueden contribuir a demostraciones matemáticas verificables formalmente. Para el lector común, el impacto es indirecto.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del jueves 15 de octubre de 2026 ->