Como uma estrutura coerente nasce de incontáveis ocorrências aleatórias? A teoria da percolação tenta responder a essa pergunta desde 1957, estudando quando uma rede passa a permitir conexões infinitas. Agora, uma prova gerada por um modelo de inteligência artificial da Anthropic confirmou uma conjectura antiga sobre esse momento de transição. O resultado é importante para a matemática, mas também desconfortável: uma questão que poderia render uma Medalha Fields a um ser humano parece ter sido resolvida por uma máquina.
O que a teoria da percolação tenta descobrir?
A teoria da percolação estuda quando uma rede aleatória se torna suficientemente conectada para sustentar um caminho infinito. A imagem mais simples é a de uma esponja: enquanto há poucos poros interligados, a água não atravessa o material; depois de certo ponto, forma-se uma passagem contínua. A metáfora é doméstica, mas o problema é matemático até a medula. Redes, poros, canos, ligações e probabilidades entram no mesmo caldo.
O campo surgiu em 1957, quando Simon Ralph Broadbent e John Michael Hammersley investigaram o fluxo de líquidos em meios porosos. Eles representaram o material como uma rede: os nós correspondiam aos buracos, e as arestas, às fissuras pelas quais o líquido poderia avançar. Cada ligação podia estar aberta ou fechada segundo uma probabilidade. Parece um jogo de ligar pontos. Não é.
Se a probabilidade p de uma ligação estar aberta é baixa, a chance de um ponto pertencer a um conjunto infinito de conexões, chamada θ(p), é zero. Quando p aumenta, essa possibilidade cresce. Existe então um valor crítico, pc, que separa uma rede formada apenas por aglomerados finitos de outra na qual uma conexão infinita pode existir. O detalhe incômodo é calcular esse valor para cada geometria.
Por que o limiar crítico é tão difícil de calcular?
O limiar crítico é difícil de calcular porque pequenas mudanças na geometria da rede alteram profundamente o comportamento estatístico do sistema. Em 1980, Harry Kesten encontrou o valor exato para a percolação por ligações em uma rede quadrada bidimensional: pc é igual a 1/2. Foi uma demonstração célebre, mas também uma espécie de aviso. Poucos outros limiares exatos foram obtidos desde então.
O grande enigma não era apenas localizar pc, mas descrever a transição. A função θ(p) cresce de modo contínuo ou salta repentinamente de zero para um valor positivo? Em redes quadradas de uma e duas dimensões, a transição contínua já era conhecida. Em dimensões altas, a situação também podia ser demonstrada: a partir da décima primeira dimensão, a quantidade de vizinhos permite uma média estatística que não funciona tão bem em dimensões menores.
Restavam as dimensões 3, 4, 5, até 10. Ali estava o miolo duro do problema. A comunidade matemática suspeitava havia décadas que a transição também fosse contínua nesses casos, mas suspeita não é prova — não, o contrário — em matemática, a intuição pode apontar a porta e ainda assim não ter a chave.
O que a inteligência artificial conseguiu provar?
Um modelo de inteligência artificial da Anthropic gerou uma prova de que a transição é contínua nas dimensões intermediárias de 3 a 10. A demonstração confirma a conjectura que os matemáticos sustentavam havia décadas: conforme a probabilidade p aumenta, θ(p) cresce gradualmente, em vez de saltar de zero para um valor finito.
A notícia ganhou força depois que Hugo Duminil-Copin, matemático francês e vencedor da Medalha Fields de 2022 por trabalhos sobre transições de fase na física estatística, escreveu que a conjectura talvez fosse resolvida por uma IA antes dos seres humanos. Em 30 de agosto de 2026, ele descreveu a possibilidade como uma questão de tempo. Poucos dias depois, a Anthropic publicou no GitHub a prova produzida pelo modelo.
Benedikt Jahnel, da Universidade Técnica de Braunschweig, resumiu o desconforto do episódio: resolver o problema poderia render a um matemático uma Medalha Fields. A reação, portanto, não foi de simples euforia. Houve alegria pela solução, mas também desilusão porque o passo decisivo veio de uma máquina. A matemática ganhou um teorema e perdeu um pouco do roteiro esperado.
Isso não significa que o modelo tenha substituído toda a comunidade matemática. A prova precisa ser examinada, compreendida, formalizada e incorporada ao conhecimento existente. Uma sequência de símbolos pode estar correta sem ser ainda uma explicação útil para seres humanos. O computador encontrou o caminho; alguém ainda precisa iluminar as placas.
O que muda para os matemáticos?
A prova altera a discussão sobre o que conta como contribuição matemática. Se uma IA encontra uma demonstração, quem assina o resultado? O modelo? A empresa que o desenvolveu? Os pesquisadores que formularam a conjectura e verificaram cada etapa? As Medalhas Fields continuarão premiando apenas pessoas, caso máquinas passem a resolver teoremas de alto nível? A pergunta parece futurista, mas o futuro chegou com um commit no GitHub.
Jahnel sugere que a matemática talvez precise ampliar sua ideia de mérito. Provar teoremas continua sendo central, mas o campo também envolve formular conjecturas, traduzir provas, produzir intuições e levar resultados para livros e outras áreas. Um teorema não nasce pronto no mundo: ele precisa de linguagem, contexto e leitores. A parte mais difícil talvez mude de lugar.
Duminil-Copin defende uma imagem mais ampla. Para ele, uma questão matemática funciona como um farol no escuro, guiando pesquisadores por caminhos estéticos e científicos. O valor de uma conjectura não desaparece quando sua prova aparece. Muitas vezes, a busca produz técnicas e descobertas que não estavam contidas na resposta final.
Há uma ironia boa nisso. A tentativa humana de resolver o problema da percolação gerou conhecimento antes da solução; a IA chegou depois, mas chegou ao centro do palco. Talvez não saibamos ainda como distribuir autoria, prestígio e responsabilidade entre pessoas e sistemas. Sabemos, porém, que a prova não encerra a conversa. Ela abre uma passagem — estreita, provisória, cheia de perguntas — e agora os matemáticos precisam decidir quem atravessa primeiro.
