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.
📨 Inscreva-se na Newsletter de O Cafezinho
Receba nossas análises e as principais notícias diárias do Brasil e do Sul Global.