Sistema de IA chinês resolve conjetura matemática de forma autónoma

Problema em aberto resolvido em 80 horas

Investigadores da Universidade de Pequim criaram um sistema de inteligência artificial que resolveu uma conjetura matemática de 2014 sem necessitar de ajuda humana significativa. O modelo utilizou apenas 80 horas para formalizar e verificar a solução do problema de álgebra comutativa proposto pelo matemático norte-americano Dan Anderson.

Arquitectura de duplo agente

O sistema opera através de dois agentes especializados. O primeiro explora estratégias e constrói possíveis demonstrações usando raciocínio em linguagem natural. O segundo traduz essas provas para formato matemático rigoroso, verificável por máquina. Esta combinação elimina a necessidade de supervisão contínua por especialistas.

Intervenção humana mínima

A única participação humana consistiu em fornecer acesso a documentos restritos que o sistema não conseguiu obter autonomamente. Não foi necessário qualquer julgamento matemático durante o processo de resolução.

Contexto tecnológico chinês

O projecto surge num momento em que a China reforça a aposta na inteligência artificial. Modelos recentes como o DeepSeek, desenvolvido localmente, e sistemas da Alibaba e ByteDance têm aumentado a visibilidade internacional do sector tecnológico chinês. Esta evolução intensifica a competição com os Estados Unidos.

Em março, a Assembleia Popular Nacional reafirmou o compromisso de Pequim com a integração da IA em vários sectores económicos e a promoção do emprego associado.

Limitações e próximos passos

O trabalho ainda não foi submetido a revisão por pares. Os investigadores reconhecem que persistem desafios na fiabilidade das demonstrações geradas por IA, mas defendem que esta abordagem pode facilitar a resolução de problemas complexos e reforçar a validação de resultados matemáticos.