A Hipótese de Riemann: o problema de US$ 1 milhão que pode ser o maior mistério não resolvido da matemática

Por

De tempos em tempos, uma notícia estoura no noticiário internacional: “matemático resolve enigma de 160 anos” ou “cientista desvenda mistério que vale US$ 1 milhão”. O nome por trás da manchete quase sempre é o mesmo — a Hipótese de Riemann, formulada pelo matemático alemão Bernhard Riemann em 1859. E, quase sempre, alguns dias ou semanas depois, a euforia esfria: a “prova” não resiste ao escrutínio de outros matemáticos, não foi publicada em revista revisada por pares, ou simplesmente desaparece do debate.

Esse ciclo já se repetiu com nomes de peso — incluindo um vencedor da Medalha Fields e do Prêmio Abel — e continua a se repetir. Mas por trás do sensacionalismo existe um problema genuinamente fascinante e genuinamente não resolvido, que conecta a distribuição aparentemente caótica dos números primos a um padrão matemático de precisão impressionante. Este texto explica, sem exigir cálculo avançado, o que a Hipótese de Riemann realmente diz, por que ela é considerada tão importante e como a comunidade matemática de fato avalia — e na maioria das vezes derruba — as alegações de solução que aparecem na mídia.

O que é a função zeta e por que ela tem “zeros”

Para entender a Hipótese de Riemann, é preciso conhecer sua protagonista: a função zeta de Riemann, escrita como ζ(s). Ela nasce de uma soma simples — 1 + 1/2^s + 1/3^s + 1/4^s + … — mas Riemann descobriu que essa soma podia ser estendida para todo o plano dos números complexos (números que combinam uma parte “real”, como as retas de uma régua comum, com uma parte “imaginária”), segundo a descrição oficial do problema publicada pelo Clay Mathematics Institute (CMI).

Pense na função zeta como um instrumento capaz de receber qualquer ponto de um mapa bidimensional (o plano complexo) e devolver um número. Em determinados pontos desse mapa, o resultado é exatamente zero — são os chamados “zeros” da função. Alguns desses zeros são “triviais”: aparecem em posições previsíveis e já conhecidas havia tempo. Mas existem outros, os zeros “não triviais”, cuja posição intrigou Riemann e intriga matemáticos até hoje.

A Hipótese de Riemann é a afirmação de que todos esses zeros não triviais, quando marcados nesse mapa, caem exatamente sobre uma única linha vertical — a chamada “linha crítica”, onde a parte real do número é sempre igual a 1/2. É como apostar que, entre milhões de pontos possíveis espalhados por um mapa, todos os pontos “especiais” — sem exceção — ficam alinhados sobre uma única rua. Ninguém jamais encontrou um único zero fora dessa linha. A hipótese já foi verificada computacionalmente para os primeiros 10 trilhões de zeros, segundo o CMI — mas verificar bilhões de casos não é o mesmo que provar que a regra vale para todos, infinitamente. É essa lacuna entre “nunca vimos uma exceção” e “prova matemática de que não existe exceção” que mantém o problema em aberto.

Por que isso importa: o padrão escondido nos números primos

A razão pela qual matemáticos se importam tanto com a posição desses zeros é a conexão profunda entre a função zeta e os números primos — aqueles divisíveis apenas por 1 e por si mesmos (2, 3, 5, 7, 11…), considerados os “átomos” da aritmética.

Os primos parecem se espalhar de forma irregular e imprevisível entre os inteiros. Mas, no fim do século XIX, o Teorema dos Números Primos mostrou que, em larga escala, eles seguem um padrão estatístico razoavelmente previsível: é possível estimar quantos primos existem até um determinado número. O problema é que essa estimativa tem uma margem de erro — e é exatamente o tamanho dessa margem de erro que os zeros da função zeta controlam. Se a Hipótese de Riemann for verdadeira, esse erro fica tão bem contido quanto matematicamente possível, o que tornaria a previsão sobre a distribuição dos primos muito mais precisa do que qualquer coisa disponível hoje.

Esse elo entre “onde estão os zeros” e “como os primos se distribuem” é o motivo pelo qual a Hipótese de Riemann não é um enigma isolado e curioso: centenas de outros teoremas em teoria dos números já foram demonstrados assumindo que ela é verdadeira (“se a Hipótese de Riemann for verdadeira, então…”), o que significa que sua prova (ou refutação) teria efeito cascata sobre boa parte da matemática construída em torno dos primos.

Um problema de 1859 que resiste há mais de 160 anos

Riemann apresentou a hipótese en passant, quase como uma observação lateral, em um artigo de 1859 chamado “Sobre o número de primos menores que uma grandeza dada” (“Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse”), segundo o CMI. Riemann não chegou a prová-la — e, mais de 160 anos depois, ninguém mais conseguiu.

Em 2000, o Clay Mathematics Institute, um instituto privado dedicado à matemática, anunciou os sete “Problemas do Milênio”: questões consideradas centrais e não resolvidas, cada uma com um prêmio de US$ 1 milhão para quem apresentasse uma prova (ou refutação) validada. A Hipótese de Riemann é um deles — e, dos sete problemas originais, apenas um foi resolvido até hoje: a Conjectura de Poincaré, demonstrada pelo matemático russo Grigori Perelman em meados dos anos 2000. Os outros seis, incluindo a Hipótese de Riemann, continuam abertos.

O ciclo das “soluções” que não se confirmam

É justamente por causa desse prestígio e desse prêmio que a Hipótese de Riemann atrai, periodicamente, alegações de solução — que a imprensa às vezes noticia antes que a comunidade matemática tenha tido tempo de avaliá-las.

Um dos casos mais conhecidos aconteceu em 2018, quando Michael Atiyah — matemático britânico vencedor da Medalha Fields e do Prêmio Abel, duas das mais altas honrarias da matemática — anunciou, durante uma palestra no Heidelberg Laureate Forum, na Alemanha, que havia provado a hipótese usando uma função auxiliar de sua própria criação. A apresentação gerou repercussão mundial, mas a reação da comunidade matemática foi rápida e cética: analistas apontaram que o argumento carecia de detalhamento suficiente para ser verificado — ou mesmo para que alguém pudesse apontar exatamente onde ele falhava — e vários matemáticos concluíram que a função proposta por Atiyah simplesmente não poderia ter as propriedades exigidas para sustentar a prova. A alegação nunca foi validada pela comunidade científica.

Outro episódio ocorreu em 2015, quando o professor nigeriano Opeyemi Enoch afirmou ter resolvido a hipótese em uma conferência em Viena, gerando manchetes em veículos como Daily Mail, BBC e Daily Telegraph. O Clay Mathematics Institute — a única instituição autorizada a confirmar oficialmente uma solução — se recusou a validar a notícia e manteve o problema listado como não resolvido em seu site. Investigações posteriores não encontraram nenhum artigo revisado por pares de Enoch sobre o tema, e um documento atribuído a ele que circulou on-line foi identificado como plágio.

Como a matemática de verdade confirma uma prova

Esses episódios ilustram por que uma manchete anunciando uma “solução” quase nunca equivale, de fato, a um problema resolvido. O próprio Clay Mathematics Institute estabelece regras formais e públicas para isso: segundo o documento oficial de regras do instituto, uma proposta de solução só pode ser considerada para o prêmio depois de (1) ser publicada em uma revista qualificada, respeitados os padrões usuais de publicação matemática; (2) que se passem pelo menos dois anos da publicação; e (3) que a solução tenha recebido aceitação geral da comunidade matemática global. O CMI também deixa claro que não aceita submissões diretas de propostas de solução — o processo passa pela revisão pela comunidade científica, não por um comitê fechado do instituto.

Esse é o motivo pelo qual anúncios feitos em entrevistas coletivas, palestras ou redes sociais — por mais renomado que seja o autor — não bastam para “resolver” um Problema do Milênio: é preciso que a prova sobreviva ao escrutínio público, sistemático e muitas vezes implacável de outros especialistas ao longo de anos, exatamente o processo que nem a proposta de Atiyah nem a de Enoch chegaram a completar.

Isso não significa que não haja progresso real acontecendo. Em 2024, os matemáticos James Maynard e Larry Guth publicaram um avanço genuíno — não uma prova completa, mas um resultado que reduz drasticamente o número de possíveis exceções à hipótese, quebrando um recorde de mais de 80 anos, segundo reportagem da Quanta Magazine. Como o próprio Maynard reconheceu à publicação, esse tipo de técnica provavelmente não é capaz de resolver a Hipótese de Riemann sozinha — “vai precisar de uma grande ideia vinda de outro lugar”. É esse contraste que separa o trabalho matemático real — lento, cumulativo, verificável — do ciclo de manchetes que promete, a cada poucos anos, um fim prematuro para um dos maiores mistérios da matemática.

Fontes citadas neste artigo:

Deixe um comentário