La universidad tsinghua lanza alianza de laboratorio de ia-matemáticas para profundizar la integración

El 11 de octubre de 2026, se estableció la Alianza del Laboratorio de Matemáticas e Inteligencia Artificial Qiu Chengtou en la Universidad Tsinghua, con el objetivo de avanzar en la investigación de modelos matemáticos grandes especializados, pruebas formales asistidas por IA y descubrimiento de conjeturas, IA explicable y computación inteligente interdisciplinaria. La alianza, dirigida por Qiu Chengtou, presidente de la Academia Qiu Zhen de la Universidad Tsinghua, enfatizó la necesidad de que los matemáticos adopten la IA en lugar de resistirla. La alianza anunció más de 10 logros clave de 'IA+matemáticas', incluidos los avances en el problema del 7-dimensional esférico de homotopía. Las herramientas de IA se utilizaron para ayudar en las estrategias de prueba, simplificar los cálculos y verificar los resultados matemáticos. Qiu señaló que la alianza reúne a más de 1000 matemáticos e investigadores de múltiples instituciones, incluidas la Universidad Tsinghua, la Academia de Ciencias de China y el Instituto de Matemáticas e Interdisciplinariedad de Shanghái, para fomentar el talento joven y desarrollar un modelo matemático grande chino. OpenAI ha publicado recientemente 722 artículos de investigación matemática, que abordan problemas de larga data en teoría de números, geometría algebraica y otros campos, lo que ha generado un debate significativo en la comunidad académica. El trabajo de la alianza destaca el creciente papel de la IA en la investigación matemática, en el que los matemáticos humanos siguen desempeñando un papel central en la conceptualización y la verificación de pruebas.