Intern S2
Archivo temático • 1 resultados
Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA
2026-10-15
Tecnología
Investigadores utilizaron el modelo Intern-S2 del Laboratorio de IA de Shanghái para desarrollar una prueba del caso de codimensión uno de la conjetura de Ghys de 1995. El trabajo, que abarcó muchas rondas de diálogo, fue formalizado en el asistente de pruebas Lean por un equipo de la Universidad de Pekín.
Investigación • Pandaily
Enlace permanente