Universidade de tsinghua lança aliança de laboratório de ia-matemática para aprofundar a integração

Em 11 de outubro de 2026, foi estabelecido o Aliança do Laboratório de Matemática e Inteligência Artificial de Qiu Chengtou na Universidade de Tsinghua, com o objetivo de avançar na pesquisa em modelos matemáticos de grande escala especializados, provas formais assistidas por IA e descoberta de conjecturas, IA explicável e computação inteligente interdisciplinar. A aliança, liderada por Qiu Chengtou, presidente da Academia Qiu Zhen da Universidade de Tsinghua, enfatizou a necessidade de os matemáticos abraçarem a IA em vez de resistirem a ela. A aliança anunciou mais de 10 'conquistas de IA+matemática' chave, incluindo avanços na resolução do problema da esfera de homotopia de 7 dimensões. Ferramentas de IA foram usadas para auxiliar nas estratégias de prova, simplificar cálculos e verificar resultados matemáticos. Qiu observou que a aliança reúne mais de 1000 matemáticos e pesquisadores de várias instituições, incluindo a Universidade de Tsinghua, a Academia Chinesa de Ciências e o Instituto de Matemática e Ciências Interdisciplinares de Xangai, para promover o talento jovem e desenvolver um modelo matemático chinês de grande escala. A OpenAI lançou recentemente 722 artigos de pesquisa matemática, abordando problemas de longa data em teoria dos números, geometria algébrica e outros campos, desencadeando um debate significativo na comunidade acadêmica. O trabalho da aliança destaca o papel crescente da IA na pesquisa matemática, com matemáticos humanos ainda desempenhando um papel central na conceituação e verificação de provas.