Matemáticos provam conjectura de Ronald Graham após 55 anos

Matemática

Equipe internacional resolve problema aberto há mais de meio século, trazendo avanços para matemática e computação.

Leia também: NAT type: como ele afeta seus jogos online em casa

Uma equipe internacional de jovens matemáticos confirmou nesta semana a prova da conjectura de Ronald Graham, um problema de 55 anos sobre o rearranjo de inteiros não nulos em aritmética modular, conectando a matemática do malabarismo a estruturas usadas em ciência da computação e criptografia.

O resultado fecha uma questão aberta desde 1971: dado um conjunto de números inteiros diferentes de zero, é sempre possível ordená-los de forma que todas as somas parciais — a soma dos dois primeiros, depois dos três primeiros, e assim por diante — sejam distintas mesmo quando se trabalha em um “relógio” numérico que se repete após um número primo p?

Qual foi o problema matemático de 55 anos que foi finalmente resolvido por humanos?

O problema de 55 anos é a conjectura de rearranjo de Ronald Graham, que afirmava ser sempre possível reordenar inteiros não nulos para que todas as somas parciais sejam diferentes em aritmética modular.

Na versão clássica, quando os números são considerados na reta real, a situação é bem compreendida: se todos são positivos, as somas parciais crescem sem voltar atrás; se há positivos e negativos, já se sabia construir ordenações sem repetições. O desafio de Graham era levar essa ideia para o mundo finito da chamada aritmética modular, em que os números “dão a volta” em um círculo e se repetem após um primo p — como em um relógio em que, por exemplo, 0, 7, 14 e assim por diante são equivalentes quando p=7.

A pergunta central era: escolhendo qualquer conjunto de inteiros não nulos nesse “relógio” (para qualquer p primo), sempre existe uma ordem dos números em que nenhuma soma parcial coincide com outra, quando tudo é calculado módulo p? Graham acreditava que sim, inspirado pela intuição de que, mesmo sob regras rígidas, ainda é possível encontrar padrões especiais, como em sudokus e quadrados latinos. Demorou 55 anos, mas agora essa intuição foi comprovada rigorosamente.

Quem são os matemáticos que resolveram o problema de 55 anos?

A resolução completa da conjectura de Graham saiu de uma sequência de quatro artigos, assinados por diferentes grupos em universidades da Europa e dos Estados Unidos, culminando no trabalho final de Lisa Sauermann, da Universidade de Bonn, e Huy Tuan Pham, da Universidade de Chicago.

Antes deles, Alp Müyesser, da Universidade de Oxford, e Alexey Pokrovskiy, do University College London, atacaram o caso em que o conjunto de números é gigantesco em relação ao primo p, praticamente ocupando todo o “relógio”. Eles mostraram como processos aleatórios podem encontrar ordenações válidas nesses cenários extremos.

Outros colaboradores cobriram casos em que o conjunto de números é muito pequeno. Restava um “vazio” de situações intermediárias — conjuntos de tamanho médio — que ninguém conseguia tratar com as mesmas técnicas. Foi justamente essa faixa que Sauermann e Pham conseguiram dominar no artigo publicado em fevereiro de 2026, fechando o quebra-cabeça e confirmando a conjectura em toda a sua generalidade.

Para Noga Alon, matemático da Universidade de Princeton que acompanhou de perto o desenrolar das provas, o desfecho resume uma mudança de geração e de estilo na pesquisa: “É o poder da colaboração, o poder da nova geração, o poder dos métodos probabilísticos”.

Como foi construída a prova da conjectura de Graham

A solução não veio de um único golpe de sorte, mas de uma arquitetura em quatro camadas. Em todas elas, a aleatoriedade — a ideia de escolher ordenações ou estruturas “ao acaso”, mas com controle matemático — aparece como ferramenta central.

No caso dos conjuntos enormes em relação a p, Müyesser e Pokrovskiy exploraram o fato de que uma ordenação completamente aleatória, embora não seja perfeita, já está muito perto do que se precisa. Eles reservam alguns números “de sobra” e embaralham o resto. Sempre que uma sequência de termos somava zero módulo p — o que levaria a uma repetição nas somas parciais — eles inseriam um desses números reservados para “quebrar” o problema.

“Os cientistas da computação costumam chamar isso de ‘encontrar a agulha no palheiro’. Você pode saber que muitas boas ordenações existem, mas encontrar uma é difícil. Se fizer aleatoriamente, provavelmente vai funcionar, mas é difícil descrever explicitamente como a solução deve ser”, explicou Müyesser.

Na outra ponta, para conjuntos muito pequenos em comparação com p, outra equipe mostrou que há espaço de sobra no “relógio” numérico para evitar colisões de somas, com técnicas mais diretas de combinatória. Ainda assim, essas abordagens falhavam quando o número de elementos era comparável a metade de p, por exemplo.

A ponte que faltava veio com Sauermann e Pham, que recorreram a uma técnica sofisticada chamada anti-concentração. Em linhas gerais, esse tipo de argumento mostra que certos eventos indesejados — como duas somas coincidirem — têm probabilidade extremamente baixa de ocorrer em configurações aleatórias bem controladas. O desafio foi transformar essa baixa probabilidade em uma garantia: provar que sempre existe, para qualquer conjunto de inteiros não nulos, ao menos uma ordenação que escapa de todas as armadilhas.

Entenda o contexto

A conjectura nasce da visão pouco convencional de Ronald Graham, figura central na matemática discreta e, ao mesmo tempo, malabarista dedicado. Ele foi presidente de grandes sociedades científicas e também de associações de malabarismo, levando a matemática para o palco — e o palco para a matemática.

Fan Chung, matemática da UC San Diego e parceira de Graham na vida e na pesquisa, lembra o fascínio quase infantil do marido por truques: “Ele amava truques. Você sabe, girar uma bola, girar um cabide, girar várias bolas juntas, jogar canetas contra a parede”.

Nos anos 1970, bem antes de a comunidade falar explicitamente em “matemática do malabarismo”, Graham formulou a questão que hoje leva seu nome. A tradução para quem nunca viu uma equação é a seguinte: imagine que cada bola arremessada no ar demorasse um tempo ligeiramente diferente para voltar às mãos do artista. A conjectura dizia, essencialmente, que sempre é possível escolher a ordem dos lançamentos de modo que duas bolas nunca caiam exatamente no mesmo compasso — a analogia das somas parciais que nunca se repetem.

Durante décadas, essa imagem guiou gerações de pesquisadores, mas nenhuma técnica conhecida parecia poderosa o bastante para vencer todas as situações possíveis no mundo modular. Só com a maturação dos métodos probabilísticos e de técnicas de anti-concentração, hoje comuns em combinatória e teoria dos números, a comunidade ganhou as ferramentas adequadas.

Quais métodos foram usados para resolver o problema matemático de 55 anos?

Os métodos decisivos foram os chamados métodos probabilísticos, combinados com argumentos de anti-concentração e estratégias de correção local em ordenações quase aleatórias.

Na prática, isso significa aceitar o acaso como aliado. Em vez de tentar construir diretamente uma única sequência perfeita, os matemáticos mostram que, ao sortear ordenações de um certo jeito, a maioria delas já evita a maior parte das colisões de somas parciais. A partir daí, usam correções pontuais: retiram ou inserem números em posições estratégicas para eliminar os poucos problemas que sobram.

A anti-concentração entra para garantir que diferentes somas parciais dificilmente vão cair no mesmo valor modular se a ordem dos termos for suficientemente “espalhada”. O desafio técnico está em transformar intuições probabilísticas — do tipo “é improvável que dê errado” — em provas rigorosas que valem para todos os conjuntos de inteiros não nulos, sem exceção.

Essa filosofia, que já tinha se mostrado poderosa em outros problemas de combinatória e teoria dos grafos, encontra aqui um exemplo emblemático de como o aleatório pode servir para construir estruturas altamente ordenadas.

Por que o problema matemático ficou sem solução por tanto tempo?

O problema resistiu por 55 anos porque combina três ingredientes difíceis de tratar ao mesmo tempo: aritmética modular, exigência de unicidade das somas parciais e um universo enorme de casos possíveis. Cada nova técnica parecia funcionar bem em um regime — conjuntos muito grandes, muito pequenos, ou com alguma simetria especial — mas falhava em outro.

Do ponto de vista técnico, a região mais complicada era a dos conjuntos de tamanho intermediário em relação ao número primo p. Ali, nem os argumentos que funcionam com muito “espaço sobrando”, nem os que funcionam quando se ocupa quase todo o “relógio”, se aplicavam sem contradições. Foi preciso combinar ideias de áreas diferentes da matemática discreta, que tradicionalmente quase não dialogavam, como contam os próprios autores.

Além disso, embora a pergunta seja fácil de enunciar, o comportamento das somas parciais em um círculo modular é altamente sensível a pequenas mudanças na ordem dos elementos. Isso dificulta estratégias construtivas diretas: mudar um único número de posição pode corrigir um problema e criar outro em cadeia.

Como a solução do problema matemático de 55 anos impacta a área da matemática?

A resolução da conjectura de Graham é vista por especialistas como um marco na matemática discreta e na teoria dos números, com efeitos que extrapolam a curiosidade teórica. Na base, o resultado mostra que, mesmo sob restrições rígidas de um sistema modular finito, ainda existe grande liberdade para organizar sequências sem repetições em suas somas parciais.

Essa percepção interessa diretamente a campos que lidam com estruturas finitas e padrões complexos, como ciência da computação, criptografia e teoria de códigos. Saber que sempre é possível evitar “colisões” de somas em certos modelos abre caminho para novos esquemas de codificação, protocolos mais robustos contra erros e algoritmos probabilísticos que exploram ordenações “boas” garantidas em teoria.

Ao mesmo tempo, a prova reforça o uso de métodos probabilísticos como ferramenta central em problemas estruturais. Universidades e centros de pesquisa ganham um novo conjunto de técnicas e intuições para atacar outras conjecturas abertas em contextos parecidos — desde o desenho de redes de comunicação até o estudo de padrões em grandes grafos.

Num horizonte mais longo, a conquista deve inspirar uma nova leva de trabalhos em matemática discreta, explorando variações do problema e buscando versões ainda mais fortes, como caracterizações explícitas das ordenações que funcionam.

O que torna a resolução desse problema um marco na história da matemática?

O feito se destaca não apenas por encerrar uma espera de 55 anos, mas também por simbolizar uma mudança geracional e metodológica na forma como a matemática lida com problemas difíceis. A prova combina colaboração internacional intensa, ferramentas probabilísticas sofisticadas e uma ponte rara entre intuição lúdica — vinda do malabarismo — e aplicações em áreas tecnológicas de ponta.

Para a comunidade, o caso de Graham se torna uma vitrine de como a pesquisa contemporânea funciona: equipes em Bonn, Chicago, Oxford, University College London, Princeton e UC San Diego atacando facetas diferentes do mesmo enigma, trocando ideias e somando avanços parciais até fechar a conta. Como resumiu Noga Alon, é um retrato do “poder da colaboração” e “do poder da nova geração”.

Do lado prático, há um paradoxo interessante: a prova mostra que existem muitas ordenações boas, mas descrevê-las de forma simples segue sendo difícil. Isso significa que, por ora, o impacto direto em algoritmos industriais — que costumam exigir descrições determinísticas claras — ainda é limitado. Mas, para o meio acadêmico, é um convite aberto a novas pesquisas e a futuras aplicações que podem nascer exatamente dessa lacuna entre existência garantida e construção explícita.