Ocho instituciones de China crearon el 11 de octubre de 2026 en Pekín una alianza para desarrollar modelos de inteligencia artificial especializados en matemáticas. La iniciativa, encabezada por Shing-Tung Yau, ganador de la medalla Fields, busca incorporar estas herramientas a la investigación y facilitar la comprobación de demostraciones.
El lanzamiento se celebró en la Universidad Tsinghua. Según la información institucional difundida por CERNET, participan, entre otras entidades, el colegio Qiuzhen y el Centro Yau de Ciencias Matemáticas de Tsinghua, junto con el Centro Morningside de la Academia China de Ciencias.
Las fuentes describen de manera distinta su tamaño: el texto atribuido a Tsinghua habla de cerca de 1,000 investigadores vinculados a las instituciones participantes; South China Morning Post presenta una red de más de 1,000 científicos como objetivo.
De proponer una solución a comprobar cada paso
SCMP identifica entre las prioridades desarrollar modelos matemáticos, generar conjeturas, formalizar demostraciones y hacer más comprensible el razonamiento de los sistemas. Una conjetura es una afirmación pendiente de demostración: producirla abre una pregunta, pero todavía falta resolverla.
La formalización introduce una comprobación precisa. El manual oficial de Lean, un asistente de demostración, distingue entre encontrar una prueba y verificar que sea correcta. En una prueba formal, cada paso debe justificarse mediante definiciones, resultados previos y reglas lógicas, hasta llegar a los axiomas del sistema.
Al formalizarla, una propuesta de solución puede someterse a una revisión computacional de sus pasos. El manual explica que estas demostraciones pueden representarse como objetos que otros sistemas comprueban de forma independiente. Construirlas también exige trabajo e interacción de los usuarios.
La investigación conserva tareas para los matemáticos
La crónica de Beijing Daily, reproducida por el Gobierno de Pekín, describe ese reparto en uno de los trabajos de geometría presentados durante el lanzamiento. La IA ayudó a explorar estrategias de demostración y simplificar cálculos, mientras un sistema de álgebra computacional verificó identidades y produjo certificados reproducibles.
Los matemáticos se encargaron de concebir la prueba, revisar los resultados y completar la argumentación y el artículo, según ese reporte. El ejemplo permite entender la colaboración anunciada como un proceso con tareas diferenciadas: la propuesta de la IA pasa por cálculos verificables y por el trabajo de los investigadores.
La alianza también compartirá recursos para entrenar modelos, bibliotecas de matemáticas formalizadas y plataformas de cómputo, de acuerdo con el texto difundido por CERNET. Esa infraestructura acompañará el desarrollo de modelos especializados y la investigación sobre interpretabilidad y seguridad.
El primer laboratorio se establece conjuntamente en Qiuzhen y el Centro Yau de Tsinghua. El plan contempla otros laboratorios en Pekín, Shanghái, Nankín, Shenzhen y Hong Kong, con recursos abiertos a las instituciones participantes.
