Algoritmo autônomo quebra limite humano e lança alerta global
Peking University – Na última semana, um sistema de inteligência artificial composto por dois agentes colaborativos solucionou a Conjectura de Anderson, formulada em 2014, em apenas 80 horas — o feito ocorreu sem qualquer ajuste humano direto e com a prova integralmente verificada.
- Em resumo: IA forneceu demonstração completa de um problema aberto há 12 anos, algo inédito em velocidade e autonomia.
Como funciona o sistema de dois agentes?
Segundo pesquisadores, o framework divide a tarefa entre um agente gerador de hipóteses e outro responsável pela verificação formal, ambos treinados em bibliotecas de álgebra abstrata e raciocínio simbólico. O fluxo repete-se até que a prova atinja 100% de consistência lógica, política semelhante a modelos descritos pela Wired em estudos recentes sobre IA para matemática.
“Essentially no human intervention was required to reach and validate the final proof,” descrevem os autores no relatório técnico apresentado à comunidade acadêmica.
Impacto: da teoria à inovação tecnológica
Resolver problemas algébricos complexos não é apenas uma vitória acadêmica. A conquista abre caminho para automatizar otimizações em criptografia, modelagem de materiais e até no design de chips avançados, áreas que hoje dependem de ciclos manuais de experimentação. Vale lembrar que, há dois anos, o AlphaFold do DeepMind revolucionou a biologia estrutural ao prever proteínas; agora, o mesmo movimento pode acontecer na matemática pura.
O que você acha? A era das “provas relâmpago” geradas por IA deve acelerar ou ameaçar a pesquisa tradicional? Para mais análises sobre inteligência artificial, acesse nossa editoria especializada.
Crédito da imagem: Divulgação / Peking University
