Uma equipa de investigadores liderada pela Universidade de Pequim desenvolveu uma IA capaz de resolver e verificar sozinha um problema matemático em aberto, sem intervenção humana relevante. O feito é apresentado como um avanço no âmbito da autonomia de resolução de problemas complexos.
O objetivo do estudo é demonstrar que sistemas de IA podem gerar soluções e validá-las de forma independente, reduzindo a necessidade de orientação humana durante o processo. A abordagem combina técnicas de raciocínio automático e verificação formal.
O anúncio descreve avanços no campo, com resultados que evidenciam capacidades de resolução autónoma. A equipa detalha que a verificação da solução foi realizada dentro do próprio sistema, sem intervenções externas.
Desenvolvimento e verificação
Segundo os autores, o sistema utilizou métodos de verificação de soluções para assegurar a consistência matemática. A metodologia envolve etapas de formação, geração de hipóteses e validação automática de cada resposta.
Os resultados, ainda não amplamente publicados, destacam o potencial de IA para abordar problemas em aberto em matemática. Fica patente a possibilidade de aplicações futuras em áreas de pesquisa e ensino, com maior autonomia computacional.
Entre na conversa da comunidade