Pesquisadores chineses resolvem a conjectura 3D de Ghys com modelo de IA nacional
Uma equipa liderada pelo professor Xu Disheng, da Greater Bay University, em colaboração com o modelo científico Intern-S2 do Laboratório de IA de Xangai, anuncia uma demonstração completa da conjetura de Ghys tridimensional, um problema de dinâmica complexa proposto por Étienne Ghys em 1995 e por resolver durante mais de 30 anos. Uma equipa da Universidade de Pequim realizou de forma independente a verificação formal automática de todos os teoremas centrais, gerando centenas de milhares de linhas de código de verificação. O artigo está numa plataforma de pré-publicação e o código de verificação é totalmente aberto, o que faz deste um caso emblemático de um modelo de IA a contribuir para uma grande demonstração matemática.
FONTES
- Hacker News (AI)2026-10-18 20:19