Uma equipa liderada pela Universidade de Pequim desenvolveu uma intelig\u00eancia artificial capaz de resolver e verificar um problema matem\u00e1tico em aberto sem interven\u00e7\u00e3o humana relevante. A not\u00edcia foi divulgada na imprensa internacional e publicada no reposit\u00f3rio arXiv, com cobertura do South China Morning Post de Hong Kong, na segunda-feira.<\/p>\n
O sistema conseguiu, em poucas horas, formalizar a solu\u00e7\u00e3o de uma conjetura apresentada em 2014. O feito ocorreu atrav\u00e9s de um modelo de duplo agente que combina racioc\u00ednio em linguagem natural com verifica\u00e7\u00e3o formal.<\/p>\n
O estudo descreve a abordagem aplicada para o problema de \u00e1lgebra comutativa, proposto pelo matem\u00e1tico norte-americano Dan Anderson. A verifica\u00e7\u00e3o da solu\u00e7\u00e3o foi conclu\u00edda em cerca de 80 horas de execu\u00e7\u00e3o.<\/p>\n
O contorno t\u00e9cnico envolve um processo de racioc\u00ednio assistido por IA e verifica\u00e7\u00e3o formal integrada. O artigo preliminar encontra-se no reposit\u00f3rio de artigos arXiv, sinalizando resultados iniciais de uma linha de pesquisa em IA matem\u00e1tica.<\/p>\n
A equipa enfatiza que o objetivo \u00e9 explorar capacidades de automa\u00e7\u00e3o em demonstra\u00e7\u00f5es matem\u00e1ticas, mantendo o foco na precis\u00e3o e na reprodutibilidade dos resultados. N\u00e3o s\u00e3o apresentadas provas adicionais no momento.<\/p>\n","protected":false},"excerpt":{"rendered":"