Ferramentas de Inteligência Artificial (IA) possuem uma capacidade impressionante de resolver problemas e realizar diferentes ações, não é mesmo? Recentemente, um sistema de IA criado por pesquisadores da Universidade de Pequim, na China, resolveu um enigma que nem os maiores gênios conseguiram solucionar: um problema matemático que permaneceu em aberto por 12 anos.
O desafio havia sido proposto em 2014 pelo matemático Dan Anderson e estava ligado à área de álgebra comutativa, considerada uma das mais complexas da matemática moderna. Durante anos, especialistas não conseguiram chegar a uma solução definitiva. Até agora.
Como a IA conseguiu resolver o problema
O diferencial do sistema está no método. Em vez de apenas sugerir caminhos, a inteligência artificial utilizou uma arquitetura baseada em dois agentes que atuam de forma complementar.
O primeiro é responsável por explorar hipóteses e construir possíveis soluções. Já o segundo traduz essas ideias para uma linguagem matemática formal, capaz de ser verificada automaticamente por máquinas, garantindo consistência lógica no resultado.
De acordo com o estudo publicado em formato de preprint no repositório arXiv, o sistema teve a capacidade de fazer praticamente todo o processo de resolução sozinho. A ação humana foi fornecer documento restritos para a IA processar.
Por que esse avanço chama tanta atenção
O impacto não está apenas na solução do problema em si, mas no processo utilizado. O sistema conseguiu analisar uma grande quantidade de literatura matemática acumulada ao longo de décadas e transformar esse conhecimento em uma prova validada sem intervenção humana relevante.
Além disso, o tempo chama atenção. O que poderia levar anos de trabalho colaborativo entre pesquisadores foi resolvido em cerca de 80 horas. Tadavia, vale destacar que os cientistas afirmam que mesmo com o resultado positivo, ainda é necessário haver a intervenção humana para cálculos, já que existe a possibilidade de a IA cometer erros.
