IA desenvolvida na China resolve problema matemático sem intervenção humana
- 13/04/2026 17:18
- Redação
Uma equipa de investigadores liderada pela Universidade de Pequim desenvolveu um sistema de inteligência artificial (IA) capaz de resolver e verificar um problema matemático em aberto sem intervenção humana relevante.
O modelo conseguiu, em poucas horas, formalizar a solução de uma conjetura apresentada em 2014, através de um sistema de duplo agente que combina raciocínio em linguagem natural e verificação formal, noticiou esta segunda-feira o jornal de Hong Kong South China Morning Post.
O sistema, descrito num artigo preliminar publicado no repositório arXiv, abordou um problema de álgebra comutativa proposto pelo matemático norte-americano Dan Anderson e concluiu a verificação em cerca de 80 horas de execução.
- Fonte: Rádio Renascença
Envie fotos, vídeos, denúncias e reclamações para nossa equipe pelo E-mail
contato@portugalemfoco.pt.
