O Que é a Hipótese de Riemann? Explicação Simples

A Hipótese de Riemann está em aberto desde 1859. É o problema mais importante da matemática pura e trata do assunto mais elementar que existe: os números primos. Quem prová-la entra para a história e leva US$ 1 milhão. Ninguém conseguiu até hoje.

Este artigo explica, em linguagem direta e sem fórmula intimidante, o que é a Hipótese de Riemann: de onde veio, o que afirma, por que importa e por que segue sem solução. Vou marcar o tempo todo o que está provado, o que é conjectura e o que sabemos só por verificação numérica. Essa separação é a base de qualquer matemática séria. Eu ataco esse problema na pesquisa, então no meio do caminho mostro como o trabalho acontece hoje.

A pergunta por trás de tudo: por que os números primos parecem aleatórios?

Número primo é o inteiro maior que 1 divisível apenas por 1 e por ele mesmo: 2, 3, 5, 7, 11, 13, 17, 19, 23. Eles são os átomos da aritmética. Todo inteiro se escreve, de um jeito único, como produto de primos (12 = 2 x 2 x 3). Entender os primos é entender a estrutura de todos os números.

Eles não acabam. Euclides provou isso na Grécia antiga com um argumento curto: se a lista de primos fosse finita, bastava multiplicar todos e somar 1 para obter um número que nenhum da lista divide. Logo, sempre há mais primos adiante. A questão nunca foi se eles terminam. A questão é como se distribuem.

E a distribuição parece caótica. Entre 1 e 10 há quatro primos. Entre 90 e 100 há um só. Surgem desertos longos sem primo algum e, logo depois, dois primos colados, como 101 e 103. Não existe fórmula simples que entregue o próximo primo. De perto, é bagunça.

Essa irregularidade alimenta outras perguntas em aberto. Ninguém sabe se existem infinitos pares de primos gêmeos, separados por apenas 2, como 11 e 13. Ninguém provou a conjectura de Goldbach, de que todo número par maior que 2 é soma de dois primos. A Hipótese de Riemann é a peça central dessa família de problemas, porque controla a distribuição que está por baixo de todos eles.

Os primos (em dourado) de 1 a 30. Aparecem gêmeos colados e desertos sem nenhum primo. De perto, não há padrão óbvio.

De longe, aparece ordem. Conte quantos primos existem até um número x. Os matemáticos chamam essa contagem de π(x), a letra grega para primos, sem relação com o π do círculo. Gauss e Legendre já tinham conjecturado esse comportamento por volta de 1800, olhando tabelas de primos feitas à mão. A prova só veio quase um século depois. No fim do século XIX, Hadamard e de la Vallée Poussin provaram o Teorema dos Números Primos: π(x) cresce aproximadamente como x dividido pelo logaritmo natural de x. E a prova dependeu, não por acaso, do comportamento da função zeta no plano complexo. O caos local esconde uma ordem global.

A Hipótese de Riemann diz quão perfeita é essa ordem. Ela afirma que os primos são o mais regularmente distribuídos possível, que o ruído em torno daquela curva suave é o menor que poderia existir. Para chegar lá, entra um personagem inesperado: uma função.

O que é, em uma frase, a Hipótese de Riemann (o enunciado sem susto)

A frase primeiro, a tradução depois:

A Hipótese de Riemann afirma que todos os zeros não triviais da função zeta de Riemann estão sobre uma única reta vertical, a reta crítica, onde a parte real vale exatamente 1/2.

Ninguém entende essa frase de primeira, e está tudo certo. As próximas seções traduzem cada peça: função zeta, zeros não triviais, reta crítica, parte real 1/2. No fim, releia a frase. Ela vai fazer sentido.

O essencial agora é isto: a Hipótese liga dois mundos que parecem não conversar. De um lado, os números primos, aritmética pura. De outro, os zeros de uma função no mundo dos números complexos, análise matemática. Riemann percebeu que os dois mundos são o mesmo. Controlar os zeros dessa função é controlar a distribuição dos primos.

A função zeta: de Euler a Riemann (1859)

A história começa com Leonhard Euler, no século XVIII. Euler estudava somas infinitas como esta:

ζ(s) = 1 + 1/2ˢ + 1/3ˢ + 1/4ˢ + ...

Essa é a função zeta. Você escolhe um número s, eleva cada inteiro a s, inverte e soma tudo. Para s = 2, a soma dá π²/6, um resultado do próprio Euler. Até aqui, uma soma infinita comum.

Euler mostrou algo surpreendente: essa mesma soma é igual a um produto que envolve apenas os números primos.

ζ(s) = (1/(1−2⁻ˢ)) x (1/(1−3⁻ˢ)) x (1/(1−5⁻ˢ)) x ...

Um fator para cada primo. A igualdade sai da fatoração única. Cada fator, quando expandido, gera as potências de um primo. Ao multiplicar todos, você reconstrói cada inteiro exatamente uma vez, porque cada inteiro é um produto único de primos. É o crivo de Eratóstenes virando álgebra. De um lado, uma soma sobre todos os inteiros. De outro, um produto só sobre primos. Os dois são iguais. Essa identidade é a primeira ponte entre a função zeta e os primos.

Essa igualdade explica por que a zeta é a função certa para estudar primos. Tudo o que acontece com os primos fica codificado no comportamento de uma única função. A partir dela, perguntas sobre primos viram perguntas sobre a função. E a pergunta mais informativa que se pode fazer sobre uma função é onde ela vale zero, porque os zeros comandam o resto do comportamento. Foi essa troca de perguntas, dos primos para os zeros, que abriu o caminho de Riemann.

Em 1859, Bernhard Riemann publicou um artigo de oito páginas, um dos mais influentes da história, e fez uma jogada ousada. Estendeu a função zeta para aceitar números complexos. Número complexo tem parte real e parte imaginária, a forma a + bi, com i igual à raiz de −1. Riemann deu sentido a ζ(s) mesmo com s complexo, por um processo chamado continuação analítica. A mecânica não importa aqui. Importa a ideia: ele transformou a zeta numa paisagem de duas dimensões, definida em quase todo o plano complexo.

Nessa paisagem, certos pontos ficam especiais: aqueles onde a função vale zero.

Zeros triviais e zeros não triviais: a diferença que importa

Zero da função zeta é um valor de s para o qual ζ(s) = 0. Eles vêm em dois tipos.

Os zeros triviais aparecem nos inteiros pares negativos: s = −2, s = −4, s = −6, e assim por diante. São chamados de triviais porque são fáceis de localizar e totalmente entendidos. Não escondem mistério.

Os zeros não triviais concentram toda a ação. Eles vivem numa região do plano complexo chamada faixa crítica, a faixa vertical onde a parte real de s está entre 0 e 1. São eles que carregam a informação sobre os primos. A pergunta de um milhão de dólares é onde, dentro dessa faixa, eles se escondem.

A reta crítica e o número 1/2: o coração da conjectura

Riemann calculou os primeiros zeros não triviais e viu um padrão. Todos caíam sobre uma linha vertical no meio da faixa, a linha onde a parte real de s vale 1/2. Essa linha é a reta crítica. Os primeiros zeros ficam em alturas como 14,13; 21,02; 25,01 na parte imaginária, todos com parte real 1/2.

A Hipótese de Riemann aposta que isso não é acaso. Todos os infinitos zeros não triviais estão sobre essa reta, sem exceção. Nenhum se desvia para os lados. Todos têm parte real igual a 1/2.

A reta crítica (Re = ½) e os primeiros zeros não triviais sobre ela. A Hipótese afirma que todos, sem exceção, caem nesta reta.

Agora releia a frase do começo: todos os zeros não triviais sobre a reta crítica, parte real 1/2. Ela fecha. Falta entender por que isso importa tanto. A resposta são os primos.

A simetria escondida: por que justamente 1/2?

Por que 1/2, e não 0,4 ou 0,7? O número não foi escolhido a dedo. Ele sai de uma simetria da função zeta que Riemann descobriu, a equação funcional.

Em termos simples, a função zeta tem um espelho. O valor de ζ num ponto s está amarrado ao valor no ponto refletido 1 − s. A paisagem da zeta é simétrica em relação a um eixo vertical, e esse eixo passa exatamente por 1/2, o ponto no meio entre 0 e 1.

A simetria tem consequência direta sobre os zeros: eles vêm em pares espelhados em torno da reta crítica. Um zero fora da reta, na posição p, obrigaria a existência de outro do lado oposto, em 1 − p. A reta de parte real 1/2 é a única que é o próprio espelho, a linha de equilíbrio da função. A Hipótese afirma que a natureza não desperdiça essa simetria: todos os zeros moram sobre o eixo, nenhum nos pares laterais. É essa estrutura, o 1/2 como ponto de equilíbrio forçado pela simetria, que faz muito matemático apostar na conjectura mesmo sem prova.

Onde entram os números primos: a ponte entre os zeros e a distribuição

A curva suave de π(x) é só a primeira aproximação. A contagem real de primos oscila em torno dela, ora um pouco acima, ora um pouco abaixo. Existe um erro, a diferença entre a previsão suave e a realidade.

A descoberta mais profunda de Riemann foi uma fórmula, hoje chamada de fórmula explícita, que descreve esse erro com precisão. O ingrediente central são os zeros não triviais da zeta. Cada zero contribui com uma onda que corrige a estimativa. Somadas, todas as ondas reproduzem o vaivém dos primos.

Pense na distribuição dos primos como uma melodia, e nos zeros da zeta como as notas. A altura do zero, a parte imaginária, dá a frequência da onda. A posição horizontal, a parte real, controla o quanto a onda cresce. Com todos os zeros na reta crítica, parte real 1/2, as ondas se equilibram e o erro na contagem fica o menor possível. Os primos ficam tão regulares quanto a aleatoriedade permite.

O caos aparente dos primos é, na verdade, música. As notas são os zeros da função zeta.

A fórmula explícita deixa isso concreto. Ela diz, em essência: contagem de primos até x igual a um termo principal menos uma soma de correções, uma para cada zero. O termo principal é a estimativa suave. Cada correção é uma onda cuja amplitude depende da parte real do zero. Com todos os zeros em parte real 1/2, todas as ondas têm o mesmo volume controlado, e o erro fica preso ao tamanho de √x. Um único zero com parte real maior que 1/2 teria uma onda que domina as outras, e o erro cresceria fora de controle. A reta crítica é a condição para nenhuma onda gritar mais alto que as demais.

Um exemplo concreto: contar primos e medir o erro

Vamos medir. Gauss, ainda adolescente, propôs uma estimativa para π(x) melhor que x/ln x: a integral logarítmica, Li(x). Ela acerta com precisão notável. Veja a ordem de grandeza:

Até 1.000 existem 168 primos. Li(1.000) fica perto de 178. Erro de cerca de 10.
Até 1 milhão existem 78.498 primos. Li dá perto de 78.628. Erro de cerca de 130.
Até 1 bilhão são 50.847.534 primos, e o erro de Li está na casa de poucos milhares.

O número de primos cresce na casa dos milhões. O erro cresce devagar, perto da raiz quadrada de x. A Hipótese de Riemann afirma exatamente isso de forma precisa: o erro entre π(x) e Li(x) nunca passa da ordem de √x, a menos de um fator logarítmico pequeno. A Hipótese equivale a dizer que a estimativa de Gauss para os primos está certa com a maior precisão matematicamente possível.

A conjectura ganha forma concreta. Ela trata do tamanho do erro quando contamos primos. Prová-la é provar que esse erro nunca explode.

Vale ver o tamanho do ganho. Sem a Hipótese, o melhor que se sabe provar sobre esse erro é uma cota bem mais frouxa. Com a Hipótese, o erro fica amarrado à ordem de √x, que é o menor possível. A diferença entre as duas cotas é a diferença entre localizar os primos com folga e localizar com precisão cirúrgica. Quase todo resultado fino sobre primos depende de fechar essa folga. Há uma sutileza importante. Durante muito tempo, achou-se que Li(x) sempre superestima π(x), porque era assim em todo número já calculado. Depois provou-se que, em algum ponto absurdamente distante na reta, o número de Skewes, grande demais para qualquer computador alcançar, a diferença troca de sinal. Guarde esse exemplo. Ele volta na seção sobre verificação.

Por que ela vale US$ 1 milhão: a Hipótese como Problema do Milênio

Em 2000, o Clay Mathematics Institute escolheu sete dos problemas em aberto mais importantes da matemática e ofereceu US$ 1 milhão por uma solução de cada um. Ficaram conhecidos como Problemas do Milênio. A Hipótese de Riemann é um deles, e para muitos é o mais importante da lista. Até hoje, só um dos sete foi resolvido, a Conjectura de Poincaré, e o autor, Grigori Perelman, recusou o prêmio e a Medalha Fields. Os outros seis seguem em aberto, a Hipótese de Riemann entre eles.

O dinheiro é o menor dos motivos. O peso da Hipótese vem da quantidade de resultados amarrados a ela. Milhares de teoremas em teoria dos números começam com a frase "supondo a Hipótese de Riemann verdadeira, então". São resultados condicionais, construídos sobre a suposição de que ela vale. Prová-la transforma todos esses condicionais em verdades firmes de uma vez. Refutá-la derruba muitos e força a reescrita de capítulos inteiros.

O alcance é concreto. Existe uma versão mais ampla, a Hipótese de Riemann Generalizada, da qual dependem garantias de algoritmos usados todo dia, de testes rápidos de primalidade a métodos de teoria dos números computacional. Estimativas sobre o menor primo numa progressão, sobre as lacunas entre primos, sobre somas que aparecem na criptografia teórica: muitas só ficam limpas se a Hipótese valer. É um nó onde dezenas de fios da matemática se cruzam. Mexer nele move tudo ao redor.

Resolver a Hipótese de Riemann destrava um andar inteiro da matemática. Quem entregar a prova entra para a história ao lado de Euclides, Gauss e Riemann.

Conjectura em aberto: o que sabemos e o que não sabemos

Preciso ser rigoroso aqui, porque é onde a divulgação escorrega. A Hipótese de Riemann é uma conjectura, uma afirmação que acreditamos verdadeira mas que ninguém provou. Não é teorema. Não está quase resolvida. Está em aberto desde 1859.

O que está provado:

Existem infinitos zeros não triviais na faixa crítica.
Uma proporção positiva deles está comprovadamente sobre a reta crítica, e essa fração subiu ao longo do século XX.
Nenhum zero está nas bordas extremas da faixa. É esse fato que sustenta o Teorema dos Números Primos.

O que não sabemos: se todos estão na reta. Proporção positiva está a uma distância infinita de todos. Em matemática, um único contraexemplo entre infinitos derruba a conjectura inteira.

Verificação computacional: por que evidência não basta

"Mas os computadores já não checaram isso?" Checaram, e muito. Os primeiros trilhões de zeros, bilhões e bilhões deles, estão todos sobre a reta crítica. Nenhuma exceção encontrada.

A evidência é poderosa, e ainda assim não é prova. Verificar trilhões de zeros não diz nada sobre o zero de número 10⁴⁰, nem sobre o infinito de zeros que vem depois. O número de Skewes, da seção do erro, é o caso exato: um padrão que valeu para todo número testável e que mesmo assim falha lá adiante, com prova. A história da matemática tem outros casos assim. Por isso a Hipótese segue aberta apesar da verificação. Computador entrega evidência, não certeza. A prova precisa valer para os infinitos zeros de uma vez, e isso exige uma ideia, não força bruta.

Quantos zeros existem, e até onde já olhamos

Os zeros não triviais são infinitos, e ficam mais densos conforme você sobe na faixa crítica. Existe uma fórmula precisa para contá-los: a quantidade de zeros até uma altura T cresce como T dividido por 2π, multiplicado pelo logaritmo de T sobre 2π. Em linguagem direta, os zeros vão ficando mais juntos lá em cima, num ritmo conhecido.

Isso fixa a escala do problema. Quando se diz que os primeiros trilhões de zeros foram verificados, isso cobre uma quantidade enorme, mas é só o pé da escada. Acima de qualquer altura já calculada existe uma infinidade de zeros mais densos, ainda não olhados um a um. A verificação avança de baixo para cima e nunca termina, porque o alvo é infinito.

Os zeros têm ainda uma simetria a mais. Eles aparecem em pares conjugados: se há um zero numa certa altura acima do eixo real, há outro na mesma altura abaixo. Somada à simetria da equação funcional, isso organiza os zeros em torno de dois eixos. A Hipótese é a aposta de que, apesar de toda essa estrutura, eles se acomodam todos sobre uma única reta.

As tentativas famosas, e por que ninguém venceu

A Hipótese resistiu às maiores mentes da matemática. A lista de avanços parciais já é uma história.

Em 1914, G. H. Hardy provou que existem infinitos zeros sobre a reta crítica. Isso não encerrou a questão, porque infinitos sobre a reta não exclui infinitos fora dela. Vieram então as estimativas de proporção. Atle Selberg mostrou que uma fração positiva dos zeros está na reta. Norman Levinson, em 1974, levou a fração para mais de um terço. Brian Conrey, em 1989, para mais de dois quintos, cerca de 40%. Hoje se sabe que a maioria está na reta. Maioria não é todos, e o todos vale o milhão.

Atribui-se a David Hilbert a frase de que, se acordasse depois de dormir quinhentos anos, sua primeira pergunta seria se a Hipótese de Riemann já tinha sido provada. Hilbert a colocou na lista de problemas de 1900, e ela atravessou o século XX intacta, resistindo a abordagens analíticas, algébricas e probabilísticas. A dificuldade tem nome. Controlar todos os zeros exige uma estrutura que ninguém encontrou, algo que explique por que a reta 1/2 é especial de forma necessária, não acidental. Os avanços parciais empurram a fronteira. O salto final pede uma ideia nova.

Houve tentativas de prova que mobilizaram a comunidade e não se sustentaram. O caso mais conhecido é o de Louis de Branges, que anunciou ataques à Hipótese mais de uma vez sem que o argumento fosse aceito. O padrão se repete: surgem provas anunciadas com frequência, quase todas com furos descobertos na revisão. Faz parte do território. Um problema com esse peso atrai tentativas ousadas, e a régua para aceitar uma prova é alta justamente porque o resultado sustenta tantos outros.

A verificação dos zeros também tem história. Riemann calculou alguns à mão, e décadas depois descobriu-se, nas anotações dele, que tinha ido bem mais longe do que publicou. Nos anos 1930, a fórmula de Riemann-Siegel tornou esses cálculos viáveis em escala. Alan Turing chegou a projetar uma máquina para checar zeros. Com os computadores, a escala explodiu. Andrew Odlyzko calculou zeros lá no alto, na casa de 10²⁰ e além, e confirmou que o espaçamento entre eles segue a estatística das matrizes aleatórias. Tudo consistente com a Hipótese, e tudo ainda evidência.

Onde a pesquisa está hoje (e como eu ataco esse problema)

Se a verificação não basta, de onde vem a prova? A aposta mais promissora nasceu de uma intuição de Hilbert e Pólya, no início do século XX. Os zeros da zeta talvez sejam o espectro de algum objeto matemático, os tons fundamentais de um sistema, como as frequências de vibração de um tambor. Se existisse um operador cujas energias fossem os zeros, e se esse operador tivesse a simetria certa, ser auto-adjunto, a reta crítica viria de graça, e a Hipótese seria teorema. Essa é a abordagem espectral.

A força da ideia está num fato simples de álgebra linear. Operadores auto-adjuntos, os mesmos que descrevem grandezas observáveis na mecânica quântica, têm autovalores obrigatoriamente reais. Se os zeros da zeta fossem autovalores de um operador assim, ficariam forçados a se alinhar e, com a normalização correta, exatamente sobre a reta crítica. A Hipótese deixaria de ser coincidência numérica e passaria a ser consequência da estrutura. O desafio é o mais difícil de todos: encontrar ou construir esse operador e provar que ele faz o que se espera.

A ideia ganhou força em 1972. Hugh Montgomery calculou como os zeros da zeta se espaçam entre si. Num encontro casual em Princeton, mostrou o resultado ao físico Freeman Dyson, que reconheceu a fórmula na hora. Era a mesma que descreve o espaçamento dos níveis de energia de matrizes aleatórias, os modelos usados para núcleos atômicos pesados. Os zeros da zeta se comportam, na estatística, como o espectro de um sistema quântico. Isso não prova nada, mas indica que a intuição de Hilbert e Pólya aponta para o lugar certo.

É nesse território que eu trabalho. Ataco a Hipótese de Riemann pela abordagem espectral dentro do programa Connes-Consani-Moscovici (CCM), uma das tentativas mais ambiciosas de realizar a visão de Hilbert e Pólya com as ferramentas da geometria não-comutativa. O método combina derivação analítica com verificação numérica de altíssima precisão, sob uma regra fixa: em cada nota publicada, separo o que está provado do que é só evidência numérica, a mesma honestidade que defendo neste texto.

O programa CCM persegue isso por um caminho específico. Em vez de procurar um operador no escuro, ele constrói uma geometria, no sentido da geometria não-comutativa de Alain Connes, cujo espectro deve reproduzir os zeros. A peça central é uma forma quadrática ligada à fórmula explícita de Weil, e a Hipótese fica equivalente a uma condição de positividade dessa forma. Provar a positividade no caso certo é provar a Hipótese. O meu trabalho mora nessa peça: testar com precisão numérica alta as propriedades dessa forma quadrática, e provar analiticamente o que dá para provar, deixando explícito o que ainda é só evidência.

O trabalho já rendeu onze artigos com DOI registrados publicamente, e é acompanhado de perto por Jean-Pierre Ramis, da Académie des Sciences. Uso inteligência artificial e sistemas multiagentes, sob direção humana, para acelerar derivações e verificações que à mão levariam anos, sem abrir mão do rigor. A direção é humana, a execução é acelerada.

Na prática, isso significa rodar milhares de derivações simbólicas e checagens numéricas de alta precisão, varrer caminhos de prova em paralelo e descartar rápido os que não fecham. A máquina não substitui a ideia matemática. Ela encurta o ciclo entre uma conjectura e o veredito sobre ela, de meses para horas. O julgamento sobre o que conta como prova continua humano, e é onde a régua de honestidade não cede. É assim que um pesquisador independente consegue operar na escala de um grupo de pesquisa. A pesquisa completa está reunida na página de pesquisa, e há uma proposta de apoio à campanha científica para quem quiser financiar uma chance real em um Problema do Milênio.

Há um motivo extra para insistir nessa via. Se a abordagem espectral fechar, ela não entrega só a Hipótese de Riemann. Entrega uma razão estrutural para ela ser verdadeira, uma explicação de por que os primos se organizam assim, em vez de um cálculo que apenas confirma. Esse tipo de prova costuma abrir portas para problemas vizinhos, porque revela o mecanismo, não só o resultado. É a diferença entre saber que algo funciona e saber por quê.

Não prometo que a prova está logo ali. Seria desonesto. O que afirmo é que o problema, hoje, é atacável por caminhos que não existiam há vinte anos.

Para que serve na prática: distribuição de primos e criptografia

Serve, com as expectativas calibradas, porque há muito exagero no assunto.

O uso mais direto está dentro da matemática. A Hipótese controla com precisão a distribuição dos primos e os erros de vários métodos de teoria dos números computacional. Alguns algoritmos de primalidade e de fatoração têm garantias de desempenho que dependem da Hipótese, ou de versões generalizadas dela, ser verdadeira. Prová-la deixa essas garantias firmes.

Um exemplo direto: existe um teste de primalidade rápido e determinístico cuja garantia de funcionamento depende de uma versão generalizada da Hipótese. Sem ela, o teste continua valendo na prática, mas a prova formal de que ele sempre acerta fica em aberto. O mesmo vale para estimativas sobre o menor primo dentro de uma progressão aritmética, usadas em vários algoritmos. A Hipótese aperta esses limites e torna o comportamento previsível. São ganhos de garantia, não de mágica.

Sobre criptografia, atenção, porque aqui mora o mito mais comum. A segurança do RSA depende da dificuldade de fatorar números grandes, e não depende diretamente da Hipótese de Riemann. Provar a Hipótese não quebra a internet da noite para o dia, ao contrário do que circula por aí. O ponto verdadeiro é mais sutil. A Hipótese influencia o que sabemos sobre a distribuição dos primos e sobre o comportamento de certos algoritmos. Ela mora na mesma vizinhança da criptografia sem ser o interruptor que a liga ou desliga. Honestidade aqui vale mais que manchete.

A própria teoria em torno da zeta e dos primos gerou técnicas hoje presentes em geração de números pseudoaleatórios, em códigos corretores de erro e na análise de algoritmos. Ninguém aplicou a Hipótese diretamente. Entender a fundo os primos criou ferramentas que vazaram para a engenharia. A matemática fundamental costuma pagar os juros décadas depois, quase sempre numa conta que não esperávamos.

Mitos comuns sobre a Hipótese de Riemann

Vale desarmar os equívocos que mais aparecem:

"A Hipótese dá uma fórmula para os primos." Falso. Ela não prevê qual é o próximo primo. Ela controla a regularidade da distribuição no agregado.
"Já foi verificada no computador, então está praticamente provada." Falso. Verificação numérica é evidência, e o número de Skewes mostra por que evidência não basta.
"Provar a Hipótese quebra a criptografia." Falso, não diretamente, como expliquei acima.
"É só uma curiosidade abstrata sem importância." Falso. Milhares de teoremas dependem dela.
"Resolver é questão de computador mais potente." Falso. É questão de uma ideia. Nenhum cálculo substitui um argumento que valha para os infinitos zeros.

E se ela for falsa?

Quase todos os especialistas apostam que a Hipótese é verdadeira, pela evidência numérica, pela conexão com matrizes aleatórias e pela elegância que ela traria. A pergunta oposta também vale. Um único zero fora da reta crítica significaria que a distribuição dos primos tem irregularidades maiores do que imaginamos, uma onda desafinada amplificando o erro na contagem. Vários teoremas condicionais cairiam ou precisariam ser refeitos. Seria, de certo modo, até mais surpreendente do que a Hipótese ser verdadeira, porque revelaria uma estrutura que escapou de toda a verificação feita até hoje. Provada ou refutada, a resposta reorganiza a teoria dos números. Por isso a pergunta vale tanto.

Na prática, uma falha da Hipótese não derrubaria a criptografia nem pararia a matemática aplicada. O abalo seria teórico e profundo. Muitos resultados condicionais precisariam de novas demonstrações, e a confiança na ligação entre zeros e primos teria que ser reescrita. O cenário mais provável, na visão da maioria, é que a Hipótese seja verdadeira e que falte a nós a ferramenta para prová-la. A matemática já surpreendeu antes, e é por isso que ninguém fecha a questão pela fé.

Por que esse problema atravessa século e meio

Poucos problemas conseguem ser, ao mesmo tempo, simples de enunciar, porque trata dos números que uma criança conhece, e brutais de resolver, porque a melhor matemática do mundo bateu nele por mais de século e meio. Essa tensão sustenta o fascínio.

Há a ponte que ele revela. O caos aparente dos primos vira música, e as notas são os zeros de uma função no plano complexo. A aritmética dos inteiros e a análise dos números complexos, dois mundos distantes, são reflexos um do outro. A Hipótese é uma janela para a unidade escondida da matemática.

Há o lado humano. Gerações de matemáticos dedicaram a vida a ela e não venceram. Cada avanço parcial é um degrau numa escada cujo topo ninguém alcançou. Trabalhar nesse problema é continuar uma conversa que começou com Riemann, Gauss e Hilbert.

E há o elo improvável com a física. A ligação com matrizes aleatórias pôs a função zeta no mesmo balcão dos níveis de energia atômica e do caos quântico. Físicos e matemáticos passaram a tratar a zeta quase como um sistema físico real, à procura do tambor cujas frequências seriam os zeros. Uma pergunta sobre os números inteiros se revelou entranhada na estrutura do mundo.

Resumo: a Hipótese de Riemann em poucas linhas

Se você ler só esta seção, leve isto:

Os números primos parecem caóticos de perto e seguem uma ordem global de longe.
A função zeta liga, por uma identidade de Euler, todos os inteiros aos primos. Estendida ao plano complexo, ela tem zeros.
Os zeros não triviais vivem numa faixa e controlam o tamanho do erro na contagem dos primos.
A Hipótese afirma que todos esses zeros estão sobre a reta crítica, parte real 1/2. Equivale a dizer que os primos são o mais regulares possível, com erro da ordem de √x.
É um Problema do Milênio, US$ 1 milhão, em aberto desde 1859. Trilhões de zeros foram verificados, o que é evidência, não prova.
A frente moderna de ataque é espectral, pela linha de Hilbert e Pólya e das matrizes aleatórias. É nela que eu trabalho, dentro do programa CCM.

Para ir além: leituras e referências

O artigo original de Riemann (1859), "Sobre o número de primos menores que uma grandeza dada", para os corajosos.
O Clay Mathematics Institute mantém a descrição oficial do problema e as regras do prêmio.
Para uma introdução acessível, livros de divulgação como Prime Obsession (John Derbyshire) e A Música dos Números Primos (Marcus du Sautoy) cobrem a história com profundidade.
Para acompanhar um ataque ao problema em tempo real, pela via espectral, a pesquisa está aqui, e eu publico bastidores e novos conceitos no blog.

A Hipótese de Riemann continua de pé desde 1859. E continua atacável.