Pesquisadores chineses resolvem uma antiga conjectura matemática usando um modelo de IA doméstico

Em 15 de outubro de 2026, o Laboratório de Inteligência Artificial de Xangai anunciou que uma antiga conjectura matemática, a Conjectura de Ghys de 3 dimensões, foi resolvida por uma equipe liderada por Xu Dishi da Universidade da Área da Baía. O avanço foi alcançado usando o modelo multimodal grande Shusheng-S2, que emprega uma abordagem de 'fusão geral-especial' para permitir a colaboração entre humanos e máquinas na prova da conjectura. O trabalho foi formalmente verificado pelo Professor Dong Bin e pelo Acadêmico Liu Ruocuan da Universidade de Pequim, usando seu framework SHEAF. A Conjectura de Ghys, proposta em 1995 por Étienne Ghys, tem sido um importante problema não resolvido em sistemas dinâmicos, frequentemente considerada um ponto de referência para o raciocínio matemático. A pesquisa, publicada no arXiv, inclui código formal no GitHub. O estudo marca a primeira vez que um modelo de IA chinês é usado para resolver um grande problema matemático. A equipe planeja expandir a metodologia para outros campos, criando um ciclo de inovação auto-evolutivo. A pesquisa também destaca uma nova paradigmática científica, integrando a intuição de especialistas em loops de resolução de máquinas. Esta abordagem, que combina a exploração sistemática com o julgamento de especialistas, pode ser aplicada a outras áreas com vastos espaços de busca e recursos de especialistas limitados. O Laboratório de IA de Xangai visa desenvolver um módulo de verificação matemática reutilizável para a plataforma de descoberta científica Shusheng · Duanyan, permitindo que pesquisas futuras aproveitem este avanço.