
Volume 3 - Capítulo 235
Avançado Sistema Tecnológico Acadêmico
Capítulo 235: Provando a Conjectura!
O céu brilhava intensamente lá fora, pela janela.
Lu Zhou dormia sobre sua mesa. Ele abriu os olhos lentamente.
Esfregou as sobrancelhas doloridas e olhou para o calendário no canto da mesa.
*Já é maio…*
Lu Zhou sentia uma leve dor de cabeça e sacudiu a cabeça.
Desde que chegara a Princeton em fevereiro, passara quase metade do tempo naquele pequeno apartamento. Tirando as idas ao supermercado, basicamente não saía do quarto.
Pior ainda era a sua inscrição de US$ 5.000 no clube de comidas. Mal tinha usado.
Depois de receber a missão, havia se dedicado à conjectura de Goldbach por quase meio ano.
Finalmente, havia um resultado.
Lu Zhou respirou fundo e se levantou.
Estava quase na linha de chegada e não precisava mais se apressar.
Lu Zhou foi para a cozinha e preparou um lanche. Até tirou uma garrafa de champanhe da geladeira e serviu-se um copo.
Comprou aquele champanhe dois meses antes, só para esse momento.
Lu Zhou comeu calmamente. Depois, foi lavar as mãos antes de voltar para a mesa e finalizar o trabalho.
Retomou de onde havia parado.
[… Obviamente, temos Px(1,1)≥P(x,x^{1/16})-(1/2)∑Px(x,p,x)-Q/2-x^(log4 )…(30)]
[A partir da equação (30), Lema 8, Lema 9, Lema 10, pode-se provar que o teorema 1 se mantém.]
O chamado teorema 1 era a expressão matemática da conjectura de Goldbach em sua tese.
Ou seja, dado um número par N suficientemente grande, existiam dois números primos P1 e P2 que satisfaziam N = P1 + P2.
Teoremas similares eram o teorema de Chen, N = P1 + P2.P3, e havia toda uma série de teoremas sobre P(a,b).
Claro, embora ele tivesse rotulado isso como teorema 1 em sua tese, não demoraria muito para a comunidade matemática aceitar sua prova. Depois disso, poderia ser atualizado para “Teorema de Lu Zhou” ou algo assim.
No entanto, o processo de revisão para esse tipo de conjectura importante era longo.
A prova da conjectura de Poincaré por Perelman levou três anos para ser reconhecida pela comunidade matemática. A prova da conjectura estava repleta de muitos "termos misteriosos". Portanto, era difícil para qualquer pessoa, além dele, entender a tese.
A velocidade com que uma conjectura importante era revisada dependia muito da popularidade da conjectura.
Quando Lu Zhou provou a conjectura dos primos gêmeos, não usou uma teoria particularmente nova. Ele apenas usou o método dos primos gêmeos mencionado na tese de Zellberg de 1995. Portanto, as pessoas entenderam rapidamente sua prova.
No entanto, para a tese da conjectura de Polignac, o processo de revisão levou muito tempo.
Embora Lu Zhou tivesse usado seu já comprovado Método da Estrutura de Grupo, ele fez modificações significativas e ficou muito diferente do método da peneira grande. Mesmo para um grande nome como Deligne, levaria muito tempo para revisar.
Lu Zhou escreveu cinquenta páginas para a tese da conjectura de Goldbach. Metade delas era para discutir a estrutura teórica que ele construiu para a prova.
Essa parte poderia ser publicada como uma tese por si só.
Em grande parte, seu processo de revisão dependia do interesse de outras pessoas em seu trabalho e de como as pessoas eram receptivas.
Quanto ao tempo que levaria, estava fora de seu controle.
Na verdade, Lu Zhou pensou sobre quais eram os critérios do sistema para completar a missão.
Se ele completasse a prova, mas por décadas ninguém aceitasse seu trabalho, ele ficaria preso nessa missão?
O que mais o confundia era de onde vinha o grande banco de dados do sistema. Devia vir de uma civilização muito mais avançada que os humanos.
Lu Zhou sentiu que o sistema faria seu próprio julgamento se ele provou ou não a conjectura. O sistema não dependeria de "humanos".
A conclusão de Lu Zhou foi que a conclusão de sua missão dependeria de dois fatores.
O primeiro era a correção.
O segundo era a publicação!
Na verdade, havia uma maneira muito simples de verificar se sua prova estava correta.
Ele não precisava publicar em periódicos…
…
Depois de provar a conjectura de Goldbach, Lu Zhou passou três dias inteiros organizando a tese em seu computador. Ele a converteu para o formato PDF e a carregou no arXiv.
Ele tinha quase certeza de que sua tese estava correta, pois seu hábito era fazer verificações rigorosas em dobro em cada linha da conclusão. Ele examinava repetidamente todos os possíveis erros.
Quanto à publicação…
O arXiv não tinha um processo de revisão por pares, então era, sem dúvida, a opção mais rápida!
A única desvantagem era que poderia entrar em conflito com a submissão a outras revistas. Por exemplo, enviar a tese antes do prazo poderia violar algumas regras de submissão dupla, mas Lu Zhou não se importava com essas coisas. Ele também acreditava que revistas respeitáveis também não se importariam.
Afinal, Lu Zhou não era um anônimo qualquer. Ele era o vencedor do Prêmio Cole em Teoria dos Números. Além disso, sua tese não era um trabalho aleatório. Era a famosa conjectura de Goldbach, a oitava questão dos 23 problemas de Hilbert, que era um dos Problemas do Prêmio Millennium!
Ele passaria os próximos dois dias editando e organizando sua tese. Depois disso, ele a enviaria para a [Annual Mathematics].
Quando o último teorema de Fermat foi provado pela primeira vez, foram necessários seis revisores para verificar a prova. Lu Zhou não sabia quantos revisores ele merecia, mas não deveriam ser menos de quatro.
Lu Zhou olhou para a mensagem "envio concluído" em seu navegador e respirou fundo.
*Isso significa que eu terminei?*
Após a publicação de sua tese, alguém neste campo recebeu um alerta. Em algum lugar deste planeta, alguém já estava lendo sua tese.
No entanto, Lu Zhou não sabia se o sistema contava isso como uma submissão bem-sucedida.
Lu Zhou sentou-se na frente do computador e respirou fundo. Então fechou os olhos e sussurrou.
“Sistema.”
Quando abriu os olhos novamente, foi recebido por uma visão branca pura.
Fazia muito tempo que ele não vinha aqui. Lu Zhou quase se sentiu desconfortável.
Ele caminhou até a tela de informações semitransparente e clicou no painel de missões.
Ele iria ver se sua missão estava concluída…
Ele também poderia verificar se seu processo de pensamento estava correto.
*Espere um minuto…*
Lu Zhou percebeu um problema.
Se o sistema não respondesse, isso significaria que sua suposição sobre o processo de avaliação da missão do sistema estava errada ou que sua tese estava errada.
O sistema não lhe deu tempo para pensar.
Um som de notificação tocou.
Então, uma linha de texto apareceu.
[Parabéns, Usuário, pela conclusão da missão!]