Matemáticos derrubam conjectura de 50 anos de Paul Erdős com técnica inspirada em IA

Uma conjectura matemática que resistia há meio século foi resolvida por pesquisadores britânicos. O matemático Thomas Bloom, da Universidade de Manchester, liderou a equipe que refutou a chamada conjectura soma-produto, formulada por Paul Erdős em 1976.

O estudo, publicado no repositório arXiv, demonstra que a intuição original do matemático húngaro não se aplicava a determinados conjuntos numéricos. Segundo reportagem do New Scientist, Erdős acreditava que ao somar ou multiplicar pares de um conjunto numérico, ao menos um dos resultados seria significativamente maior que o original.

Bloom e seus colegas encontraram um contraexemplo usando progressões numéricas em múltiplas dimensões. A técnica foi inspirada em abordagens recentes da teoria algébrica dos números, que têm sido aprimoradas com auxílio de inteligência artificial.

A simplicidade do contraexemplo surpreendeu os próprios pesquisadores. Bloom afirmou que a construção direta permite compreender exatamente por que a conjectura falha, o que deve contribuir para a resolução de outros problemas relacionados.

Misha Rudnev, da Universidade de Bristol, destacou que a descoberta reflete o ritmo acelerado da matemática moderna. Ele observou que novas ideias costumam ser rapidamente exploradas por pesquisadores dedicados, resultando em avanços significativos em curto período.

A refutação não invalida a conjectura para números inteiros, seu domínio original. O contraexemplo opera em sistemas numéricos mais complexos, preservando a validade da intuição de Erdős para conjuntos numéricos cotidianos.

A prova estabelece uma conexão entre problemas geométricos e ferramentas da teoria dos números. Bloom ressaltou que a descoberta abre novas possibilidades de diálogo entre áreas da matemática que antes não interagiam diretamente.

Com informações de NEWSCIENTIST.