Nova IA de Google resolve problemas matemáticos que permaneceram sem solução por décadas

O laboratório Google DeepMind desenvolveu uma ferramenta de inteligência artificial chamada AlphaProof Nexus, capaz de resolver problemas matemáticos até hoje sem solução e verificar a correção lógica das soluções, informou a Associação Americana para o Avanço da Ciência (AAAS) na quinta-feira (8).

De acordo com o estudo publicado na revista Science, o sistema baseado em modelos avançados de linguagem resolveu dezenas de problemas até então sem solução em diferentes campos da matemática.

Confira quais estados foram pior que o esperado em Matemática no Pisa

A ferramenta utiliza vários agentes de IA para buscar demonstrações, com feedback do compilador Lean, que verifica cada etapa lógica e detecta erros.

Um agente mais sofisticado coordena subagentes por meio de um algoritmo evolutivo e usa o AlphaProof como ferramenta especializada de teste. 

Diferentemente dos chatbots convencionais, que podem gerar explicações convincentes, mas erradas, o sistema recorre à verificação formal para validar o raciocínio.

Nos testes, o AlphaProof Nexus resolveu nove dos 353 problemas nunca resolvidos relacionados ao matemático Paul Erdős, incluindo dois sem solução há mais de 50 anos. 

A ferramenta também demonstrou 44 das 492 conjecturas abertas da Enciclopédia On-line de Sequências de Inteiros (OEIS) e resolveu outros problemas de pesquisa em geometria algébrica, otimização, óptica quântica e teoria dos grafos.

'Não estamos fazendo o suficiente': Bill Gates faz previsão sombria sobre IA

O Google DeepMind informou que especialistas em matemática revisaram a correspondência entre os problemas originais de Erdős e as afirmações verificadas pelo sistema.

"Para além dos resultados específicos, o verdadeiro valor do que os autores apresentam está numa metodologia capaz de gerar sistematicamente descobertas matemáticas poderosas", afirmou Pablo Haya Coll, da Universidade Autónoma de Madrid.

Segundo ele, essa capacidade havia sido praticamente "monopolizada por laboratórios de vanguarda".